title: Guaranteed two-sided bounds on all eigenvalues of preconditioned diffusion and elasticity problems solved by the finite element method

abstract: A method of estimating all eigenvalues of a preconditioned discretized scalar diffusion operator with Dirichlet boundary conditions has been recently introduced in T. Gergelits, K.A. Mardal, B.F. Nielsen, Z. Strako\v{s}: Laplacian preconditioning of elliptic PDEs: Localization of the eigenvalues of the discretized operator, SIAM Journal on Numerical Analysis 57(3) (2019), 1369-1394. Motivated by this paper, we offer a slightly different approach that extends the previous results in some directions. Namely, we provide bounds on all increasingly ordered eigenvalues of a general diffusion or elasticity operator with tensor data, discretized with the conforming finite element method, preconditioned by the inverse of a matrix of the same operator with different data. Our results hold for mixed Dirichlet and Robin or periodic boundary conditions applied to the original and preconditioning problems. The bounds are two-sided, guaranteed, easily accessible, and depend solely on the material data.


title: Semi-supervised Anomaly Detection using AutoEncoders

abstract: Anomaly detection refers to the task of finding unusual instances that stand out from the normal data. In several applications, these outliers or anomalous instances are of greater interest compared to the normal ones. Specifically in the case of industrial optical inspection and infrastructure asset management, finding these defects (anomalous regions) is of extreme importance. Traditionally and even today this process has been carried out manually. Humans rely on the saliency of the defects in comparison to the normal texture to detect the defects. However, manual inspection is slow, tedious, subjective and susceptible to human biases. Therefore, the automation of defect detection is desirable. But for defect detection lack of availability of a large number of anomalous instances and labelled data is a problem. In this paper, we present a convolutional auto-encoder architecture for anomaly detection that is trained only on the defect-free (normal) instances. For the test images, residual masks that are obtained by subtracting the original image from the auto-encoder output are thresholded to obtain the defect segmentation masks. The approach was tested on two data-sets and achieved an impressive average F1 score of 0.885. The network learnt to detect the actual shape of the defects even though no defected images were used during the training.


title: Optical properties of periodically-driven open nonequilibrium quantum systems

abstract: Characterization and control of matter by optical means is at the forefront of research both due to fundamental insights and technological promise. Theoretical modeling of periodically driven systems is a prerequisite to understanding and engineering nanoscale quantum devices for quantum technologies. Here, we develop a theory for transport and optical response of molecular junctions, open nonequilibrium quantum systems, under external periodic driving. Periodic driving is described using the Floquet theory combined with nonequilibrium Green's function description of the system. Light-matter interaction is modeled employing the self-consistent Born approximation. Generic three-level model is utilized to illustrate effect of the driving on optical and transport properties of junctions.


title: Learning Topometric Semantic Maps from Occupancy Grids

abstract: Today's mobile robots are expected to operate in complex environments they share with humans. To allow intuitive human-robot collaboration, robots require a human-like understanding of their surroundings in terms of semantically classified instances. In this paper, we propose a new approach for deriving such instance-based semantic maps purely from occupancy grids. We employ a combination of deep learning techniques to detect, segment and extract door hypotheses from a random-sized map. The extraction is followed by a post-processing chain to further increase the accuracy of our approach, as well as place categorization for the three classes room, door and corridor. All detected and classified entities are described as instances specified in a common coordinate system, while a topological map is derived to capture their spatial links. To train our two neural networks used for detection and map segmentation, we contribute a simulator that automatically creates and annotates the required training data. We further provide insight into which features are learned to detect doorways, and how the simulated training data can be augmented to train networks for the direct application on real-world grid maps. We evaluate our approach on several publicly available real-world data sets. Even though the used networks are solely trained on simulated data, our approach demonstrates high robustness and effectiveness in various real-world indoor environments.


title: Nuclear effects in high-energy neutrino interactions

abstract: Neutrino telescopes like IceCube, KM3NeT and Baikal-GVD offer physicists the opportunity to study neutrinos with energies far beyond the reach of terrestrial accelerators. These neutrinos are used to study high-energy neutrino interactions and to probe the Earth through absorption tomography. Current studies of TeV neutrinos use cross sections which are calculated for free nucleons with targets which are assumed to contain equal numbers of protons and neutrons. Here we consider modifications of high-energy neutrino interactions due to two nuclear effects: modifications of the parton densities in the nucleus, referred to here as shadowing, and the effect of non-isoscalar targets, with unequal numbers of neutrons and protons. Both these effects depend on the interaction medium. Because shadowing is larger for heavier nuclei, such as iron, found in the Earth's core, it introduces a zenith-angle dependent change in the absorption cross section. These modifications increase the cross sections by 1-2\% at energies below 100 TeV (antishadowing), and reduce it by 3-4\% at higher energies (shadowing). Nuclear effects also alter the inelasticity distribution of neutrino interactions in water/ice by increasing the number of low inelasticity interactions, with a larger effect for $\nu$ than $\bar\nu$. These effects are particularly large in the energy range below a few TeV. These effects could alter the cross sections inferred from events with tracks originating within the active detector volume as well as the ratio $\nu/\bar\nu$ inferred from inelasticity measurements. The uncertainties in these nuclear effects are larger than the uncertainties on the free-proton cross sections and will thus limit the systematic precision of future high-precision measurements at neutrino telescopes.


title: Use of the complete basis set limit for computing highly accurate ab initio dipole moments

abstract: Calculating dipole moments with high-order basis sets is generally only possible for the light molecules, such as water. A simple, yet highly effective strategy of obtaining high-order dipoles with small, computationally less expensive basis sets is described. Using the finite field method for computing dipoles, energies calculated with small basis sets can be extrapolated to produce dipoles that are comparable to those obtained in high order calculations. The method reduces computational resources by approximately 50% (allowing the calculation of reliable dipole moments for larger molecules) and simultaneously improves the agreement with experimentally measured infrared transition intensities. For atmospherically important molecules which are typically too large to consider the use of large basis sets, this procedure will provide the necessary means of improving calculated spectral intensities by several percent.


title: The cost of a future low-carbon electricity system without nuclear power for Sweden

abstract: To achieve the goal of deep decarbonization of the electricity system, more and more variable renewable energy (VRE) is being adopted. However, there is no consensus among researchers on whether the goal can be accomplished without large cost escalation if nuclear power is excluded in the future electricity system. In Sweden, where nuclear power generated 41% of the annual electricity supply in 2014, the official goal is 100% renewable electricity production by 2040. Therefore, we investigate the cost of a future low-carbon electricity system without nuclear power for Sweden. We model the European electricity system with a focus on Sweden and run a techno-economic cost optimization model for capacity investment and dispatch of generation, transmission, storage and demand-response, under a CO2 emission constraint of 10 g/kWh. Our results show that there are no, or only minor, cost benefits to reinvest in nuclear power plants in Sweden once the old ones are decommissioned. This holds for a large range of assumptions on technology costs and possibilities for investment in additional transmission capacity. We contrast our results with the recent study that claims severe cost penalties for not allowing nuclear power in Sweden and discuss the implications of methodology choice.


title: The Borsuk-Ulam theorem for 3-manifolds

abstract: We study the Borsuk-Ulam theorem for triple (M;\tau; \R^n), where M is a compact, connected, 3-manifold equipped with a fixed-point-free involution \tau. The largest value of n for which the Borsuk-Ulam theorem holds is called the Z_2-index and in our case it takes value 1, 2 or 3. We fully discuss this index according to cohomological operations applied on the characteristic class x \in H^1(N; Z_2), where N = M/\tau is the orbit space. In oriented case, we obtain an expression of the index from the linking matrix of a surgery presentation of the orbit space. We illustrate our results with examples, including a non orientable one.


title: The Future of astronomical archives: reaching out to and engaging broader communities

abstract: The importance of archival science increases significantly for astrophysical observatories as they mature and their archive holdings grow in size and complexity. Further enhancing the science return of archival data requires engaging a larger audience than the mission reference community, mostly because of the growth of interest in multi-wavelength and transient/time variability research. Such a goal, though, can be difficult to achieve. In this paper I will describe a different approach to this question that, while minimizing technological friction and leveraging existing services, makes archival observations more accessible and increases our capability to proactively engage astronomers on potentially interesting archival records. Inspired by this strategy, the Chandra Data Archive team is working on two specific experimental projects that will hopefully demonstrate their potential while contributing to the maximization of the scientific return of the Chandra mission.


title: Asymptotic Geometry of the Moduli Space of Parabolic $SL(2,\mathbb{C})$-Higgs Bundles

abstract: Given a generic stable strongly parabolic $SL(2,\mathbb{C})$-Higgs bundle $(\mathcal{E}, \varphi)$, we describe the family of harmonic metrics $h_t$ for the ray of Higgs bundles $(\mathcal{E}, t \varphi)$ for $t\gg0$ by perturbing from an explicitly constructed family of approximate solutions $h_t^{\mathrm{app}}$. We then describe the natural hyperK\"ahler metric on $\mathcal{M}$ by comparing it to a simpler "semi-flat" hyperK\"ahler metric. We prove that $g_{L^2} - g_{\mathrm{sf}} = O(\mathrm{e}^{-\gamma t})$ along a generic ray, proving a version of Gaiotto-Moore-Neitzke's conjecture. Our results extend to weakly parabolic $SL(2,\mathbb{C})$-Higgs bundles as well. In the case of the four-puncture sphere, we describe the moduli space and metric more explicitly. In this case, we prove that the hyperk\"ahler metric is ALG and show that the rate of exponential decay is the conjectured optimal one, $\gamma=4L$, where $L$ is the length of the shortest geodesic on the base curve measured in the singular flat metric $|\mathrm{det}\, \varphi|$.


title: The Swift Bulge Survey: optical and near-IR follow-up featuring a likely symbiotic X-ray binary & a focused wind CV

abstract: The nature of very faint X-ray transients (VFXTs) - transient X-ray sources that peak at luminosities $L_X\lesssim10^{36} {\rm erg s^{-1}}$ - is poorly understood. The faint and often short-lived outbursts make characterising VFXTs and their multi-wavelength counterparts difficult. In 2017 April we initiated the Swift Bulge Survey, a shallow X-ray survey of $\sim$16 square degrees around the Galactic centre with the Neil Gehrels Swift Observatory. The survey has been designed to detect new and known VFXTs, with follow-up programmes arranged to study their multi-wavelength counterparts. Here we detail the optical and near-infrared follow-up of four sources detected in the first year of the Swift Bulge Survey. The known neutron star binary IGR J17445-2747 has a K4III donor, indicating a potential symbiotic X-ray binary nature and the first such source to show X-ray bursts. We also find one nearby M-dwarf (1SXPS J174215.0-291453) and one system without a clear near-IR counterpart (Swift J175233.9-290952). Finally, 3XMM J174417.2-293944 has a subgiant donor, an 8.7 d orbital period, and a likely white dwarf accretor; we argue that this is the first detection of a white dwarf accreting from a gravitationally focused wind. A key finding of our follow-up campaign is that binaries containing (sub)giant stars may make a substantial contribution to the VFXT population.


title: Imaging from the Visible to the Longwave Infrared wavelengths via an inverse-designed flat lens

abstract: It is generally assumed that correcting chromatic aberrations in imaging requires optical elements. Here, we show that by allowing the phase in the image plane to be a free parameter, it is possible to correct chromatic variation of focal length over an extremely large bandwidth, from the visible (Vis) to the longwave infrared (LWIR) wavelengths using a single diffractive surface, i.e., a flat lens. Specifically, we designed, fabricated and characterized a flat, multi-level diffractive lens (MDL) with thickness {\pounds} 10{\mu}m, diameter ~1mm, and focal length = 18mm, which was constant over the operating bandwidth of l=0.45{\mu}m (blue) to 15{\mu}m (LWIR). We experimentally characterized the point-spread functions, aberrations and imaging performance of cameras comprised of this MDL and appropriate image sensors. We further show using simulations that such extreme achromatic MDLs can be achieved even at high numerical apertures (NA=0.81). By drastically increasing the operating bandwidth and eliminating several refractive lenses, our approach enables thinner, lighter and simpler imaging systems.


title: Quantum algorithms for quantum chemistry and quantum materials science

abstract: As we begin to reach the limits of classical computing, quantum computing has emerged as a technology that has captured the imagination of the scientific world. While for many years, the ability to execute quantum algorithms was only a theoretical possibility, recent advances in hardware mean that quantum computing devices now exist that can carry out quantum computation on a limited scale. Thus it is now a real possibility, and of central importance at this time, to assess the potential impact of quantum computers on real problems of interest. One of the earliest and most compelling applications for quantum computers is Feynman's idea of simulating quantum systems with many degrees of freedom. Such systems are found across chemistry, physics, and materials science. The particular way in which quantum computing extends classical computing means that one cannot expect arbitrary simulations to be sped up by a quantum computer, thus one must carefully identify areas where quantum advantage may be achieved. In this review, we briefly describe central problems in chemistry and materials science, in areas of electronic structure, quantum statistical mechanics, and quantum dynamics, that are of potential interest for solution on a quantum computer. We then take a detailed snapshot of current progress in quantum algorithms for ground-state, dynamics, and thermal state simulation, and analyze their strengths and weaknesses for future developments.


title: Populations with individual variation in dispersal in heterogeneous environments: dynamics and competition with simply diffusing populations

abstract: We consider a model for a population in a heterogeneous environment, with logistic type local population dynamics, under the assumption that individuals can switch between two different nonzero rates of diffusion. Such switching behavior has been observed in some natural systems. We study how environmental heterogeneity and the rates of switching and diffusion affect the persistence of the population. The reaction diffusion systems in the models can be cooperative at some population densities and competitive at others. The results extend our previous work on similar models in homogeneous environments. We also consider competition between two populations that are ecologically identical, but where one population diffuses at a fixed rate and the other switches between two different diffusion rates. The motivation for that is to gain insight into when switching might be advantageous versus diffusing at a fixed rate. This is a variation on the classical results for ecologically identical competitors with differing fixed diffusion rates, where it is well known that the slower diffuser wins.


title: Recognition and Localisation of Pointing Gestures using a RGB-D Camera

abstract: Non-verbal communication is part of our regular conversation, and multiple gestures are used to exchange information. Among those gestures, pointing is the most important one. If such gestures cannot be perceived by other team members, e.g. by blind and visually impaired people (BVIP), they lack important information and can hardly participate in a lively workflow. Thus, this paper describes a system for detecting such pointing gestures to provide input for suitable output modalities to BVIP. Our system employs an RGB-D camera to recognize the pointing gestures performed by the users. The system also locates the target of pointing e.g. on a common workspace. We evaluated the system by conducting a user study with 26 users. The results show that the system has a success rate of 89.59 and 79.92 % for a 2 x 3 matrix using the left and right arm respectively, and 73.57 and 68.99 % for 3 x 4 matrix using the left and right arm respectively.


title: Revisitation of a Tartar's result on a semilinear hyperbolic system with null condition

abstract: We revisit a method introduced by Tartar for proving global well-posedness of a semilinear hyperbolic system with null quadratic source in one space dimension. A remarkable point is that, since no dispersion effect is available for 1D hyperbolic systems, Tartar's approach is entirely based on spatial localization and finite speed of propagation.


title: Calibrate, Emulate, Sample

abstract: Many parameter estimation problems arising in applications are best cast in the framework of Bayesian inversion. This allows not only for an estimate of the parameters, but also for the quantification of uncertainties in the estimates. Often in such problems the parameter-to-data map is very expensive to evaluate, and computing derivatives of the map, or derivative-adjoints, may not be feasible. Additionally, in many applications only noisy evaluations of the map may be available. We propose an approach to Bayesian inversion in such settings that builds on the derivative-free optimization capabilities of ensemble Kalman inversion methods. The overarching approach is to first use ensemble Kalman sampling (EKS) to calibrate the unknown parameters to fit the data; second, to use the output of the EKS to emulate the parameter-to-data map; third, to sample from an approximate Bayesian posterior distribution in which the parameter-to-data map is replaced by its emulator. This results in a principled approach to approximate Bayesian inference that requires only a small number of evaluations of the (possibly noisy approximation of the) parameter-to-data map. It does not require derivatives of this map, but instead leverages the documented power of ensemble Kalman methods. Furthermore, the EKS has the desirable property that it evolves the parameter ensembles towards the regions in which the bulk of the parameter posterior mass is located, thereby locating them well for the emulation phase of the methodology. In essence, the EKS methodology provides a cheap solution to the design problem of where to place points in parameter space to efficiently train an emulator of the parameter-to-data map for the purposes of Bayesian inversion.


title: Understanding Graph Isomorphism Network for rs-fMRI Functional Connectivity Analysis

abstract: Graph neural networks (GNN) rely on graph operations that include neural network training for various graph related tasks. Recently, several attempts have been made to apply the GNNs to functional magnetic resonance image (fMRI) data. Despite recent progresses, a common limitation is its difficulty to explain the classification results in a neuroscientifically explainable way. Here, we develop a framework for analyzing the fMRI data using the Graph Isomorphism Network (GIN), which was recently proposed as a powerful GNN for graph classification. One of the important contributions of this paper is the observation that the GIN is a dual representation of convolutional neural network (CNN) in the graph space where the shift operation is defined using the adjacency matrix. This understanding enables us to exploit CNN-based saliency map techniques for the GNN, which we tailor to the proposed GIN with one-hot encoding, to visualize the important regions of the brain. We validate our proposed framework using large-scale resting-state fMRI (rs-fMRI) data for classifying the sex of the subject based on the graph structure of the brain. The experiment was consistent with our expectation such that the obtained saliency map show high correspondence with previous neuroimaging evidences related to sex differences.


title: Neutrino spin and spin-flavor oscillations in matter currents and magnetic fields

abstract: After a brief history of two known types of neutrino mixing and oscillations, including neutrino spin and spin-flavour oscillations in the transversal magnetic field, we perform systematic study of a new phenomenon of neutrino spin and spin-flavour oscillations engendered by the transversal matter currents on the bases of the developed quantum treatment of the phenomenon. Possibilities for the resonance amplification of these new types of oscillations by the longitudinal matter currents and longitudinal magnetic fields are analyzed. We also consider modifications of the oscillation probabilities due to possible arbitrary orientation of the magnetic field vector ${\bf B}$ and the matter velocity ${\bf v}$.


title: Locally Decodable Codes with Randomized Encoding

abstract: We initiate a study of locally decodable codes with randomized encoding. Standard locally decodable codes are error correcting codes with a deterministic encoding function and a randomized decoding function, such that any desired message bit can be recovered with good probability by querying only a small number of positions in the corrupted codeword. This allows one to recover any message bit very efficiently in sub-linear or even logarithmic time. Besides this straightforward application, locally decodable codes have also found many other applications such as private information retrieval, secure multiparty computation, and average-case complexity. However, despite extensive research, the tradeoff between the rate of the code and the number of queries is somewhat disappointing. For example, the best known constructions still need super-polynomially long codeword length even with a logarithmic number of queries, and need a polynomial number of queries to achieve a constant rate. In this paper, we show that by using a randomized encoding, in several models we can achieve significantly better rate-query tradeoff. In addition, our codes work for both the standard Hamming errors, and the more general and harder edit errors.


title: A Raspberry Pi-based, RFID-equipped birdfeeder for the remote monitoring of wild bird populations

abstract: Radio-frequency identification (RFID) is an increasingly popular wireless technology that allows researchers to monitor wild bird populations from fixed locations in the field. Our lab has developed an RFID-equipped birdfeeder based on the Raspberry Pi Zero W, a low-cost single-board computer, that collects continuous visitation data from birds tagged with passive integrated transponder (PIT) tags. Each birdfeeder has a perch antenna connected to an RFID reader board on a Raspberry Pi powered by a portable battery. When a tagged bird lands on the perch to eat from the feeder, its unique code is stored with the date and time on the Raspberry Pi. These birdfeeders require only basic soldering and coding skills to assemble, and can be easily outfitted with additional hardware like video cameras and microphones. We outline the process of assembling the hardware and setting up the operating system for the birdfeeders. Then, we describe an example implementation of the birdfeeders to track house finches (Haemorhous mexicanus) on the campus of Queens College in New York City.


title: Mapping class groups, multiple Kodaira fibrations, and CAT(0) spaces

abstract: We study several geometric and group theoretical problems related to Kodaira fibrations, to more general families of Riemann surfaces, and to surface-by-surface groups. First we provide constraints on Kodaira fibrations that fiber in more than two distinct ways, addressing a question by Catanese and Salter about their existence. Then we show that if the fundamental group of a surface bundle over a surface is a ${\rm CAT}(0)$ group, the bundle must have injective monodromy (unless the monodromy has finite image). Finally, given a family of closed Riemann surfaces (of genus $\ge 2$) with injective monodromy $E\to B$ over a manifold $B$, we explain how to build a new family of Riemann surfaces with injective monodromy whose base is a finite cover of the total space $E$ and whose fibers have higher genus. We apply our construction to prove that the mapping class group of a once punctured surface virtually admits injective and irreducible morphisms into the mapping class group of a closed surface of higher genus.


title: Equilibrium Tidal Response of Jupiter: Detectability by Juno

abstract: An observation of Jupiter's tidal response is anticipated for the on-going Juno spacecraft mission. We combine self-consistent, numerical models of Jupiter's equilibrium tidal response with observed Doppler shifts from the Juno gravity science experiment to test the sensitivity of the spacecraft to tides raised by the Galilean satellites and the Sun. The concentric Maclaurin spheroid (CMS) method finds the equilibrium shape and gravity field of a rotating, liquid planet with the tide raised by a satellite, expanded in Love numbers ($k_{nm}$). We present improvements to CMS theory that eliminate an unphysical center of mass offset and study in detail the convergence behavior of the CMS approach. We demonstrate that the dependence of $k_{nm}$ with orbital distance is important when considering the combined tidal response for Jupiter. Conversely, the details of the interior structure have a negligible influence on $k_{nm}$, for models that match the zonal harmonics $J_2$, $J_4$ and $J_6$, already measured to high precision by Juno. As the mission continues, improved coverage of Jupiter's gravity field at different phases of Io's orbit is expected to yield an observed value for the degree-2 Love number ($k_{22}$) and potentially select higher--degree $k_{nm}$. We present a test of the sensitivity of the Juno Doppler signal to the calculated $k_{nm}$, which suggests the detectability of $k_{33}$, $k_{42}$ and $k_{31}$, in addition to $k_{22}$. A mismatch of a robust Juno observation with the remarkably small range in calculated Io equilibrium $k_{22}=0.58976\pm0.0001$, would indicate a heretofore uncharacterized dynamic contribution to the tides.


title: An energy-based coupling approach to nonlocal interface problems

abstract: Nonlocal models provide accurate representations of physical phenomena ranging from fracture mechanics to complex subsurface flows, where traditional partial differential equations fail to capture effects caused by long-range forces at the microscale and mesoscale. However, the application of nonlocal models to problems involving interfaces such as multimaterial simulations and fluid-structure interaction, is hampered by the lack of a rigorous nonlocal interface theory needed to support numerical developments. In this paper, we use an energy-based approach to develop a mathematically rigorous nonlocal interface theory which provides a physically consistent extension of the classical perfect interface PDE formulation. Numerical examples validate the proposed framework and demonstrate the scope of our theory.


title: Dynamics of Intense Particle Beam in Axial-Symmetric Magnetic Field

abstract: Axial-symmetric magnetic field is often used in focusing of particle beams. Most existing ion Low Energy Beam Transport lines are based on solenoid focusing. Modern accelerator projects utilize superconducting solenoids in combination with superconducting accelerating cavities for acceleration of high-intensity particle beams. Present paper discusses conditions for matched beam in axial-symmetric magnetic field. Analysis allows us to minimize power consumption of solenoids and beam emittance growth due to nonlinear space charge, lens aberrations, and maximize acceptance of the channel. Expressions for maximum beam current in focusing structure, beam emittance growth due to spherical aberrations and non-linear space charge forces are derived.


title: AE-OT-GAN: Training GANs from data specific latent distribution

abstract: Though generative adversarial networks (GANs) areprominent models to generate realistic and crisp images,they often encounter the mode collapse problems and arehard to train, which comes from approximating the intrinsicdiscontinuous distribution transform map with continuousDNNs. The recently proposed AE-OT model addresses thisproblem by explicitly computing the discontinuous distribu-tion transform map through solving a semi-discrete optimaltransport (OT) map in the latent space of the autoencoder.However the generated images are blurry. In this paper, wepropose the AE-OT-GAN model to utilize the advantages ofthe both models: generate high quality images and at thesame time overcome the mode collapse/mixture problems.Specifically, we first faithfully embed the low dimensionalimage manifold into the latent space by training an autoen-coder (AE). Then we compute the optimal transport (OT)map that pushes forward the uniform distribution to the la-tent distribution supported on the latent manifold. Finally,our GAN model is trained to generate high quality imagesfrom the latent distribution, the distribution transform mapfrom which to the empirical data distribution will be con-tinuous. The paired data between the latent code and thereal images gives us further constriction about the generator.Experiments on simple MNIST dataset and complex datasetslike Cifar-10 and CelebA show the efficacy and efficiency ofour proposed method.


title: Deciphering Lyman $\alpha$ blob 1 with deep MUSE observations

abstract: Context: Lyman $\alpha$ blobs (LABs) are large-scale radio-quiet Lyman $\alpha$ (Ly$\alpha$) nebula at high-$z$ that occur predominantly in overdense proto-cluster regions. Especially the prototypical SSA22a-LAB1 at $z=3.1$ has become an observational reference for LABs across the electromagnetic spectrum. Aims: We want to understand the powering mechanisms that drive the LAB to gain empirical insights into galaxy formation processes within a rare dense environment at high-$z$. Methods: LAB 1 was observed for 17.5h with the VLT/MUSE integral-field spectrograph. We produced optimally extracted narrow band images in Ly$\alpha$ $\lambda1216$ and HeII $\lambda1640$. By using a moment based analysis we mapped the kinematics of the blob. Results: We detect Ly$\alpha$ emission to surface-brightness limits of $10^{-19}$erg s$^{-1}$cm$^{-2}$arcsec$^{-2}$. At this depth we reveal a bridge between LAB 1 and its northern neighbour LAB 8, as well as a shell-like filament towards the south of LAB 1. We find a coherent large scale east-west $\sim$1000 km s$^{-1}$ velocity gradient that is aligned perpendicular to the major axis of the blob. We detect HeII emission in three distinct regions, but we can only provide upper limits for CIV. Conclusions: Various gas excitation mechanisms are at play in LAB 1: Ionising radiation and feedback effects dominate near the embedded galaxies, while Ly$\alpha$ scattering is contributing at larger distances. However, HeII/Ly$\alpha$ ratios combined with upper limits on CIV/Ly$\alpha$ can not discriminate between AGN ionisation and feedback driven shocks. The alignment of the angular momentum vector parallel to the morphological principal axis appears odds with the predicted norm for high-mass halos, but likely reflects that LAB\,1 resides at a node of multiple intersecting filaments of the cosmic web. (Abridged)


title: Aspects of Quark Orbital Angular Momentum

abstract: The difference between the quark orbital angular momentum (OAM) defined in light-cone gauge (Jaffe-Manohar) compared to defined using a local manifestly gauge invariant operator (Ji) is interpreted in terms of the change in quark OAM as the quark leaves the target in a DIS experiment.


title: A universal opportunity model for human mobility

abstract: Predicting human mobility between locations has practical applications in transportation science, spatial economics, sociology and many other fields. For more than 100 years, many human mobility prediction models have been proposed, among which the gravity model analogous to Newton's law of gravitation is widely used. Another classical model is the intervening opportunity (IO) model, which indicates that an individual selecting a destination is related to both the destination's opportunities and the intervening opportunities between the origin and the destination. The IO model established from the perspective of individual selection behavior has recently triggered the establishment of many new IO class models. Although these IO class models can achieve accurate prediction at specific spatiotemporal scales, an IO class model that can describe an individual's destination selection behavior at different spatiotemporal scales is still lacking. Here, we develop a universal opportunity model that considers two human behavioral tendencies: one is the exploratory tendency, and the other is the cautious tendency. Our model establishes a new framework in IO class models and covers the classical radiation model and opportunity priority selection model. Furthermore, we use various mobility data to demonstrate our model's predictive ability. The results show that our model can better predict human mobility than previous IO class models. Moreover, this model can help us better understand the underlying mechanism of the individual's destination selection behavior in different types of human mobility.


title: Comet and moon solutions in the time-dependent restricted $(n+1)$-body problem

abstract: The time-dependent restricted $(n+1)$-body problem concerns the study of a massless body (satellite) under the influence of the gravitational field generated by $n$ primary bodies following a periodic solution of the $n$-body problem. We prove that the satellite has periodic solutions close to the large-amplitude circular orbits of the Kepler problem (comet solutions), and in the case that the primaries are in a relative equilibrium, close to small-amplitude circular orbits near a primary body (moon solutions). The comet and moon solutions are constructed with the application of a Lyapunov-Schmidt reduction to the action functional. In addition, using reversibility technics, we compute numerically the comet and moon solutions for the case of four primaries following the super-eight choreography.


title: High Reynolds number and high Weissenberg number Oldroyd-B model with dissipation

abstract: We give a small data global well-posedness result for an incompressible Oldroyd-B model with wave number dissipation in the equation of stress tensor. The result is uniform in solvent Reynolds numbers, and requires only fractional wave-number dependent dissipation $(-\Delta)^{\beta}$, $\beta \ge \frac{1}{2}$ in the added stress.


title: Collective modes and terahertz near-field response of superconductors

abstract: We theoretically study the low energy electromagnetic response of BCS type superconductors focusing on propagating collective modes that are observable with THz near field optics. The interesting frequency and momentum range is $\omega < 2\Delta$ and $q < 1/\xi$ where $\Delta$ is the gap and $\xi$ is the coherence length. We show that it is possible to observe the superfluid plasmons, amplitude (Higgs) modes, Bardasis-Schrieffer modes and Carlson-Goldman modes using THz near field technique, although none of these modes couple linearly to far field radiation. Coupling of THz near field radiation to the amplitude mode requires particle-hole symmetry breaking while coupling to the Bardasis-Schrieffer mode does not and is typically stronger. For parameters appropriate to layered superconductors of current interest, the Carlson-Goldman mode appears in the near field reflection coefficient as a weak feature in the sub-THz frequency range. In a system of two superconducting layers with nanometer scale separation, an acoustic phase mode appears as the antisymmetric density fluctuation mode of the system. This mode produces well defined resonance peaks in the near-field THz response and has strong anticrossings with the Bardasis-Schrieffer and amplitude modes, enhancing their response. In a slab consisting of many layers of quasi-two dimensional superconductors, realized for example in samples of high T$_c$ cuprate compounds, many branches of propagating Josephson plasmon modes are found to couple to the THz near field radiation.

categories: cond-mat.supr-con cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el


title: On Approximate Message Passing for Unsourced Access with Coded Compressed Sensing

abstract: Sparse regression codes with approximate message passing (AMP) decoding have gained much attention in recent times. The concepts underlying this coding scheme extend to unsourced access with coded compressed sensing (CCS), as first pointed out by Fengler, Jung, and Caire. More specifically, their approach uses a concatenated coding framework with an inner AMP decoder followed by an outer tree decoder. In the original implementation, these two components work independently of each other, with the tree decoder acting on the static output of the AMP decoder. This article introduces a novel framework where the inner AMP decoder and the outer tree decoder operate in tandem, dynamically passing information back and forth to take full advantage of the underlying CCS structure. The enhanced architecture exhibits significant performance benefit over a range of system parameters. Simulation results are provided to demonstrate the performance benefit offered by the proposed access scheme over existing schemes in the literature.


title: Purely infinite locally compact Hausdorff \'{e}tale groupoids and their $C^*$-algebras

abstract: In this paper, we introduce properties including groupoid comparison, pure infiniteness and paradoxical comparison as well as a new algebraic tool called groupoid semigroup for locally compact Hausdorff \'{e}tale groupoids. We show these new tools help establishing pure infiniteness of reduced groupoid $C^*$-algebras. As an application, we show a dichotomy of stably finiteness against pure infiniteness for reduced groupoid $C^*$-algebras arising from locally compact Hausdorff \'{e}tale minimal topological principal groupoids. This generalizes the dichotomy obtained by B\"{o}nicke-Li and Rainone-Sims. We also study the relation among our paradoxical comparison, $n$-filling property and locally contracting property appeared in the literature for locally compact Hausdorff \'{e}tale groupoids.


title: Superconvergence of Online Optimization for Model Predictive Control

abstract: We develop a one-Newton-step-per-horizon, online, lag-$L$, model predictive control (MPC) algorithm for solving discrete-time, equality-constrained, nonlinear dynamic programs. Based on recent sensitivity analysis results for the target problems class, we prove that the approach exhibits a behavior that we call superconvergence; that is, the tracking error with respect to the full horizon solution is not only stable for successive horizon shifts, but also decreases with increasing shift order to a minimum value that decays exponentially in the length of the receding horizon. The key analytical step is the decomposition of the one-step error recursion of our algorithm into algorithmic error and perturbation error. We show that the perturbation error decays exponentially with the lag between two consecutive receding horizons, while~the algorithmic error, determined by Newton's method, achieves quadratic convergence instead. Overall this approach induces our local exponential convergence result in terms of the receding horizon length for suitable values of $L$. Numerical experiments validate our theoretical findings.

categories: math.OC cs.NA cs.SY eess.SY math.DS math.NA


title: PatentTransformer-2: Controlling Patent Text Generation by Structural Metadata

abstract: PatentTransformer is our codename for patent text generation based on Transformer-based models. Our goal is "Augmented Inventing." In this second version, we leverage more of the structural metadata in patents. The structural metadata includes patent title, abstract, and dependent claim, in addition to independent claim previously. Metadata controls what kind of patent text for the model to generate. Also, we leverage the relation between metadata to build a text-to-text generation flow, for example, from a few words to a title, the title to an abstract, the abstract to an independent claim, and the independent claim to multiple dependent claims. The text flow can go backward because the relation is trained bidirectionally. We release our GPT-2 models trained from scratch and our code for inference so that readers can verify and generate patent text on their own. As for generation quality, we measure it by both ROUGE and Google Universal Sentence Encoder.


title: A likelihood analysis of quantile-matching transformations

abstract: Quantile matching is a strictly monotone transformation that sends the observed response values $\{y_1, . . . , y_n\}$ to the quantiles of a given target distribution. A likelihood based criterion is developed for comparing one target distribution with another in a linear-model setting.


title: Prediction with eventual almost sure guarantees

abstract: We study the problem of sequentially predicting properties of a probabilistic model and its next outcome over an infinite horizon, with the goal of ensuring that the predictions incur only finitely many errors with probability 1. We introduce a general framework that models such prediction problems, provide general characterizations for the existence of successful prediction rules, and demonstrate the application of these characterizations through several concrete problem setups, including hypothesis testing, online learning, and risk domination. In particular, our characterizations allow us to recover the findings of Dembo and Peres (1994) with simple and elementary proofs, and offer a partial resolution to an open problem posed therein.


title: Fundamental Phenomena and Applications of Swift Heavy Ion Irradiations

abstract: This review concentrates on the specific properties and characteristics of damage structures generated with high-energy ions in the electronic energy loss regime. Irradiation experiments with so-called swift heavy ions (SHI) find applications in many different fields, with examples presented in ion-track nanotechnology, radiation hardness analysis of functional materials, and laboratory tests of cosmic radiation. The basics of the SHI-solid interaction are described with special attention to processes in the electronic subsystem. The broad spectrum of damage phenomena is exemplified for various materials and material classes, along with a description of typical characterization techniques. The review also presents state-of-the-art modeling efforts that try to account for the complexity of the coupled processes of the electronic and atomic subsystems. Finally, the relevance of SHI phenomena for effects induced by fission fragments in nuclear fuels and how this knowledge can be applied to better estimate damage risks in nuclear materials is discussed.


title: MHSAN: Multi-Head Self-Attention Network for Visual Semantic Embedding

abstract: Visual-semantic embedding enables various tasks such as image-text retrieval, image captioning, and visual question answering. The key to successful visual-semantic embedding is to express visual and textual data properly by accounting for their intricate relationship. While previous studies have achieved much advance by encoding the visual and textual data into a joint space where similar concepts are closely located, they often represent data by a single vector ignoring the presence of multiple important components in an image or text. Thus, in addition to the joint embedding space, we propose a novel multi-head self-attention network to capture various components of visual and textual data by attending to important parts in data. Our approach achieves the new state-of-the-art results in image-text retrieval tasks on MS-COCO and Flicker30K datasets. Through the visualization of the attention maps that capture distinct semantic components at multiple positions in the image and the text, we demonstrate that our method achieves an effective and interpretable visual-semantic joint space.


title: Fractional matching preclusion of fault Hamiltonian graphs

abstract: Matching preclusion is a measure of robustness in the event of edge failure in interconnection networks. As a generalization of matching preclusion, the fractional matching preclusion number (FMP number for short) of a graph is the minimum number of edges whose deletion results in a graph that has no fractional perfect matchings, and the fractional strong matching preclusion number (FSMP number for short) of a graph is the minimum number of edges and/or vertices whose deletion leaves a resulting graph with no fractional perfect matchings. A graph $G$ is said to be $f$-fault Hamiltonian if there exists a Hamiltonian cycle in $G-F$ for any set $F$ of vertices and/or edges with $|F|\leq f$. In this paper, we establish the FMP number and FSMP number of $(\delta-2)$-fault Hamiltonian graphs with minimum degree $\delta\geq 3$. As applications, the FMP number and FSMP number of some well-known networks are determined.


title: Dimensional reduction in evolving spin-glass model: correlation of phenotypic responses to environmental and mutational changes

abstract: The evolution of high-dimensional phenotypes is investigated using a statistical physics model consists of interacting spins, in which genotypes, phenotypes, and environments are represented by spin configurations, interaction matrices, and external fields, respectively. We found that phenotypic changes upon diverse environmental change and genetic variation are highly correlated across all spins, consistent with recent experimental observations of biological systems. The dimension reduction in phenotypic changes is shown to be a result of the evolution of the robustness to thermal noise, achieved at the replica symmetric phase.


title: Derivation of QUBO formulations for sparse estimation

abstract: We propose a quadratic unconstrained binary optimization (QUBO) formulation of the l1-norm, which enables us to perform sparse estimation of Ising-type annealing methods such as quantum annealing. The QUBO formulation is derived using the Legendre transformation and the Wolfe theorem, which have recently been employed to derive the QUBO formulations of ReLU-type functions. It is shown that a simple application of the derivation method to the l1-norm case results in a redundant variable. Finally a simplified QUBO formulation is obtained by removing the redundant variable.


title: Self-similar Blast Wave for A Two-component Fluid with Variable Adiabatic Index

abstract: We propose a self-similar (SS) solution to hydrodynamic non-relativistic flow behind a spherical strong blast wave (BW) passing through a homogeneous plasma with efficient relativistic particle acceleration at the shock front. The flow is described by an ideal two-fluid model with a relativistic component so that the post-shock gas has an effective SS adiabatic index $ \gamma $ varying from $ 5/3 $ to $ 4/3 $. This solution is calculated numerically and compared with the standard Sedov solution. We find that the BW center in our solution is dominated by the relativistic component with $ \gamma =4/3 $ for the divergence of expansion there, and the relativistic component dominates the interior for a moderate acceleration efficiency at the shock front. The overall efficiency of relativistic particle acceleration can be enhanced by a factor of $ 2 $ due to the slower adiabatic energy loss rate of the relativistic component during expansion. Tendency of the dominance by the relativistic component may be common in expanding astrophysical two-fluid systems such as supernova remnants, lobes of radio galaxies.


title: Verifiable and Auditable Digital Interchange Framework

abstract: We address the problem of fairness and transparency in online marketplaces selling digital content, where all parties are not actively participating in the trade. We present the design, implementation and evaluation of VADER, a highly scalable solution for multi-party fair digital exchange that combines the trusted execution of blockchains with intelligent protocol design and incentivization schemes. We prototype VADER on Hyperledger Fabric and extensively evaluate our system on a realistic testbed spanning five public cloud datacenters, spread across four continents. Our results demonstrate that VADER adds only minimal overhead of 16% in median case compared to a baseline solution, while significantly outperforming a naive blockchain based solution that adds an overhead of 764%.


title: Fluctuations for matrix-valued Gaussian processes

abstract: We consider a symmetric matrix-valued Gaussian process $Y^{(n)}=(Y^{(n)}(t);t\ge0)$ and its empirical spectral measure process $\mu^{(n)}=(\mu_{t}^{(n)};t\ge0)$. Under some mild conditions on the covariance function of $Y^{(n)}$, we find an explicit expression for the limit distribution of $$Z_F^{(n)} := \left( \big(Z_{f_1}^{(n)}(t),\ldots,Z_{f_r}^{(n)}(t)\big) ; t\ge0\right),$$ where $F=(f_1,\dots, f_r)$, for $r\ge 1$, with each component belonging to a large class of test functions, and $$ Z_{f}^{(n)}(t) := n\int_{\mathbb{R}}f(x)\mu_{t}^{(n)}(\text{d} x)-n\mathbb{E}\left[\int_{\mathbb{R}}f(x)\mu_{t}^{(n)}(\text{d} x)\right].$$ More precisely, we establish the stable convergence of $Z_F^{(n)}$ and determine its limiting distribution. An upper bound for the total variation distance of the law of $Z_{f}^{(n)}(t)$ to its limiting distribution, for a test function $f$ and $t\geq0$ fixed, is also given.


title: Causal Inferences in Small Area Estimation

abstract: When doing impact evaluation and making causal inferences, it is important to acknowledge the heterogeneity of the treatment effects for different domains (geographic, socio-demographic, or socio-economic). If the domain of interest is small with regards to its sample size (or even zero in some cases), then the evaluator has entered the small area estimation (SAE) dilemma. Based on the modification of the Inverse Propensity Weighting estimator and the traditional small area predictors, the paper proposes a new methodology to estimate area specific average treatment effects for unplanned domains. By means of these methods we can also provide a map of policy impacts, that can help to better target the treatment group(s). We develop analytical Mean Squared Error (MSE) estimators of the proposed predictors. An extensive simulation analysis, also based on real data, shows that the proposed techniques in most cases lead to more efficient estimators.


title: A Computer Program for Borsuk's Conjecture

abstract: In 1933, Borsuk proposed the following problem: Can every bounded set in $\mathbb{E}^n$ be divided into $n+1$ subsets of smaller diameters? This problem has been studied by many authors, and a lot of partial results have been discovered. In particular, Kahn and Kalai's counterexamples surprised the mathematical community in 1993. Nevertheless, the problem is still far away from being completely resolved. This paper presents a broad review on related subjects and, based on a novel reformulation, introduces a computer proof program to deal with this well-known problem.


title: Comparative Study of Data-driven Solar Coronal Field Models Using a Flux Emergence Simulation as a Ground-truth Data Set

abstract: For a better understanding of magnetic field in the solar corona and dynamic activities such as flares and coronal mass ejections, it is crucial to measure the time-evolving coronal field and accurately estimate the magnetic energy. Recently, a new modeling technique called the data-driven coronal field model, in which the time evolution of magnetic field is driven by a sequence of photospheric magnetic and velocity field maps, has been developed and revealed the dynamics of flare-productive active regions. Here we report on the first qualitative and quantitative assessment of different data-driven models using a magnetic flux emergence simulation as a ground-truth (GT) data set. We compare the GT field with those reconstructed from the GT photospheric field by four data-driven algorithms. It is found that, at least, the flux rope structure is reproduced in all coronal field models. Quantitatively, however, the results show a certain degree of model dependence. In most cases, the magnetic energies and relative magnetic helicity are comparable to or at most twice of the GT values. The reproduced flux ropes have a sigmoidal shape (consistent with GT) of various sizes, a vertically-standing magnetic torus, or a packed structure. The observed discrepancies can be attributed to the highly non-force-free input photospheric field, from which the coronal field is reconstructed, and to the modeling constraints such as the treatment of background atmosphere, the bottom boundary setting, and the spatial resolution.


title: An Achievable Region for the Multiple Access Wiretap Channels with Confidential and Open Messages

abstract: This paper investigates the capacity region of a discrete memoryless (DM) multiple access wiretap (MAC-WT) channel where, besides confidential messages, the users have also open messages to transmit. All these messages are intended for the legitimate receiver but only the confidential messages need to be protected from the eavesdropper. By using random coding, we find an achievable secrecy rate region, within which perfect secrecy can be realized, i.e., all users can communicate with the legitimate receiver with arbitrarily small probability of error, while the confidential information leaked to the eavesdropper tends to zero.


title: Reentrant spin reorientation transition and Griffiths-like phase in antiferromagnetic TbFe$_{0.5}$Cr$_{0.5}$O$_3$

abstract: The perovskite TbFe$_{0.5}$Cr$_{0.5}$O$_3$ shows two anomalies in the magnetic susceptibility at $T_N$ = 257K and $T_{SR}$ = 190K which are respectively, the antiferromagnetic and spin reorientation transition that occur in the Fe/Cr sublattice. Analysis of the magnetic susceptibility reveals signatures of Griffiths-like phase in this compound. Neutron diffraction analysis confirms that, as the temperature is reduced from 350K, a spin reorientation transition from $\Gamma_2$ (F$_x$, C$_y$, G$_z$) to $\Gamma_4$ (G$_x$, A$_y$, F$_z$) occurs at $T_N$ = 257K and subsequently, a second spin reorientation takes place from $\Gamma_4$ (G$_x$, A$_y$, F$_z$) to $\Gamma_2$ (F$_x$, C$_y$, G$_z$) at $T_{SR}$ = 190K. The $\Gamma_2$ (F$_x$, C$_y$, G$_z$) structure is stable until 7.7K where an ordered moment of 7.74(1)$\mu_\mathrm B$/Fe$^{3+}$(Cr$^{3+}$) is obtained from neutron data refinement. In addition to the long-range order of the magnetic structure, indication of diffuse magnetic scattering at 7.7K is evident, thereby lending support to the Griffiths-like phase observed in susceptibility. At 7.7K, Tb develops a ferromagnetic component along the crystallographic $a$ axis. Thermal conductivity, and spin-phonon coupling of TbFe$_{0.5}$Cr$_{0.5}$O$_3$ through Raman spectroscopy are studied in the present work. An antiferromagnetic structure with ($\uparrow \downarrow \uparrow \downarrow$) arrangement of Fe/Cr spins is found in the ground state through first-principles energy calculations which supports the experimental magnetic structure at 7.7K. The spin-resolved total and partial density of states are determined showing that TbFe$_{0.5}$Cr$_{0.5}$O$_3$ is insulating with a band gap of $\sim 0.12$ (2.4) eV within GGA (GGA+$U$) functionals.


title: Stochastic Recursive Gradient Descent Ascent for Stochastic Nonconvex-Strongly-Concave Minimax Problems

abstract: We consider nonconvex-concave minimax optimization problems of the form $\min_{\bf x}\max_{\bf y\in{\mathcal Y}} f({\bf x},{\bf y})$, where $f$ is strongly-concave in $\bf y$ but possibly nonconvex in $\bf x$ and ${\mathcal Y}$ is a convex and compact set. We focus on the stochastic setting, where we can only access an unbiased stochastic gradient estimate of $f$ at each iteration. This formulation includes many machine learning applications as special cases such as robust optimization and adversary training. We are interested in finding an ${\mathcal O}(\varepsilon)$-stationary point of the function $\Phi(\cdot)=\max_{\bf y\in{\mathcal Y}} f(\cdot, {\bf y})$. The most popular algorithm to solve this problem is stochastic gradient decent ascent, which requires $\mathcal O(\kappa^3\varepsilon^{-4})$ stochastic gradient evaluations, where $\kappa$ is the condition number. In this paper, we propose a novel method called Stochastic Recursive gradiEnt Descent Ascent (SREDA), which estimates gradients more efficiently using variance reduction. This method achieves the best known stochastic gradient complexity of ${\mathcal O}(\kappa^3\varepsilon^{-3})$, and its dependency on $\varepsilon$ is optimal for this problem.


title: Symmetric Skip Connection Wasserstein GAN for High-Resolution Facial Image Inpainting

abstract: The state-of-the-art facial image inpainting methods achieved promising results but face realism preservation remains a challenge. This is due to limitations such as; failures in preserving edges and blurry artefacts. To overcome these limitations, we propose a Symmetric Skip Connection Wasserstein Generative Adversarial Network (S-WGAN) for high-resolution facial image inpainting. The architecture is an encoder-decoder with convolutional blocks, linked by skip connections. The encoder is a feature extractor that captures data abstractions of an input image to learn an end-to-end mapping from an input (binary masked image) to the ground-truth. The decoder uses learned abstractions to reconstruct the image. With skip connections, S-WGAN transfers image details to the decoder. Additionally, we propose a Wasserstein-Perceptual loss function to preserve colour and maintain realism on a reconstructed image. We evaluate our method and the state-of-the-art methods on CelebA-HQ dataset. Our results show S-WGAN produces sharper and more realistic images when visually compared with other methods. The quantitative measures show our proposed S-WGAN achieves the best Structure Similarity Index Measure (SSIM) of 0.94.


title: Impact Hamiltonian systems and polygonal billiards

abstract: The dynamics of a beam held on a horizontal frame by springs and bouncing off a step is described by a separable two degrees of freedom Hamiltonian system with impacts that respect, point wise, the separability symmetry. The energy in each degree of freedom is preserved, and the motion along each level set is conjugated, via action angle coordinates, to a geodesic flow on a flat two-dimensional surface in the four dimensional phase space. Yet, for a range of energies, these surfaces are not the simple Liouville-Arnold tori - these are tori of genus two, thus the motion on them is not conjugated to simple rotations. Namely, even though energy is not transferred between the two degrees of freedom, the impact system is quasi-integrable and is not of the Liouville-Arnold type. In fact, for each level set in this range, the motion is conjugated to the well studied and highly non-trivial dynamics of directional motion in L-shaped billiards, where the billiard area and shape as well as the direction of motion vary continuously on iso-energetic level sets. Return maps to Poincar\'e section of the flow are shown to be conjugated, on each level set, to interval exchange maps which are computed, up to quadratures, in the general nonlinear case and explicitly for the case of two linear oscillators bouncing off a step. It is established that for any such oscillator-step system there exist step locations for which some of the level sets exhibit motion which is neither periodic nor ergodic. Changing the impact surface by introducing additional steps, staircases, strips and blocks from which the particle is reflected, leads to iso-energy surfaces that are foliated by families of genus-k level set surfaces, where the number and order of families of genus k depend on the energy.


title: Amplitude chimera and chimera death induced by external dynamical agents

abstract: We report the emergence of stable amplitude chimeras and chimera death in a two-layer network where one layer has an ensemble of identical nonlinear oscillators interacting directly through local coupling and indirectly through dynamic agents that form the second layer. The nonlocality in the interaction among the dynamical agents in the second layer induces different types of chimera related dynamical states in the first layer. The amplitude chimeras developed in them are found to be extremely stable, while chimera death states are prevalent for increased coupling strengths. The results presented are for a system of coupled Stuart-Landau oscillators and can in general represent systems with short-range interactions coupled to another set of systems with long range interactions. In this case, by tuning the range of interactions among the oscillators or the coupling strength between the two types of systems, we can control the nature of chimera states and the system can be restored to homogeneous steady states. The dynamic agents interacting nonlocally with long-range interactions can be considered as a dynamic environment or medium interacting with the system. We indicate how the second layer can act as a reinforcement mechanism on the first layer under various possible interactions for desirable effects.


title: Towards Generalizable Surgical Activity Recognition Using Spatial Temporal Graph Convolutional Networks

abstract: Modeling and recognition of surgical activities poses an interesting research problem. Although a number of recent works studied automatic recognition of surgical activities, generalizability of these works across different tasks and different datasets remains a challenge. We introduce a modality that is robust to scene variation, and that is able to infer part information such as orientational and relative spatial relationships. The proposed modality is based on spatial temporal graph representations of surgical tools in videos, for surgical activity recognition. To explore its effectiveness, we model and recognize surgical gestures with the proposed modality. We construct spatial graphs connecting the joint pose estimations of surgical tools. Then, we connect each joint to the corresponding joint in the consecutive frames forming inter-frame edges representing the trajectory of the joint over time. We then learn hierarchical spatial temporal graph representations using Spatial Temporal Graph Convolutional Networks (ST-GCN). Our experiments show that learned spatial temporal graph representations perform well in surgical gesture recognition even when used individually. We experiment with the Suturing task of the JIGSAWS dataset where the chance baseline for gesture recognition is 10%. Our results demonstrate 68% average accuracy which suggests a significant improvement. Learned hierarchical spatial temporal graph representations can be used either individually, in cascades or as a complementary modality in surgical activity recognition, therefore provide a benchmark for future studies. To our knowledge, our paper is the first to use spatial temporal graph representations of surgical tools, and pose-based skeleton representations in general, for surgical activity recognition.


title: Effective cones of cycles on products of projective bundles over curves

abstract: Let $X = \mathbb{P}(E_1) \times_C \mathbb{P}(E_2)$ where $C$ is a smooth curve and $E_1$, $E_2$ are vector bundles over $C$.In this paper we compute the pseudo effective cones of higher codimension cycles on $X$.


title: Strategic Scheduling of Discrete Control Devices in Active Distribution Systems

abstract: The frequent actuation of discrete control devices dcds, e.g., on-load tap changers, drastically reduces their lifetime. This, in turn, imposes a huge replacement cost. Simultaneous scheduling of these \textsc{dcd}s and continuous control devices, e.g., distributed energy resources, is imperative for reducing the operating cost. This also increases the lifetime of \textsc{dcd}s and helps to avoid the sub-optimal/infeasible solutions. Considering the high cost of discrete control actions (dcas), they may never be justified against the other options in a short scheduling horizon (sh). With a longer sh, their benefits over a long period justify dcas. However, a shorter \textsc{sh} helps to hedge against the risk impelled by uncertainties. Here, the system's future is modeled as a set of multi-period scenarios. The operator exploits a long sh, but solely applies the decisions made for the first period and waits for updated data to make the next decisions. This enables cost reduction by strategically applying dcas prior to the time that they are inevitable while avoiding them when unneeded. The proposed branch-and-cut-based solution methodology accurately deals with dcas while applying some expediting heuristics. During the branching process, a globally convergent trust-region algorithm solves the integer relaxed problems.


title: Materials design of Kitaev spin liquids beyond the Jackeli-Khaliullin mechanism

abstract: The Kitaev spin liquid provides a rare example of well-established quantum spin liquids in more than one dimension. It is obtained as the exact ground state of the Kitaev spin model with bond-dependent anisotropic interactions. The peculiar interactions can be yielded by the synergy of spin-orbit coupling and electron correlations for specific electron configuration and lattice geometry, which is known as the Jackeli-Khaliullin mechanism. Based on this mechanism, there has been a fierce race for the materialization of the Kitaev spin liquid over the last decade, but the candidates have been still limited mostly to $4d$- and $5d$-electron compounds including cations with the low-spin $d^5$ electron configuration, such as Ir$^{4+}$ and Ru$^{3+}$. Here we discuss recent efforts to extend the material perspective beyond the Jackeli-Khaliullin mechanism, by carefully reexamining the two requisites, formation of the $j_{\rm eff}=1/2$ doublet and quantum interference between the exchange processes, for not only $d$- but also $f$-electron systems. We present three examples: the systems including Co$^{2+}$ and Ni$^{3+}$ with the high-spin $d^7$ electron configuration, Pr$^{4+}$ with the $f^1$-electron configuration, and polar asymmetry in the lattice structure. In particular, the latter two are intriguing since they may realize the antiferromagnetic Kitaev interactions, in contrast to the ferromagnetic ones in the existing candidates. This partial overview would stimulate further material exploration of the Kitaev spin liquids and its topological properties due to fractional excitations.


title: Experimental analysis of local searches for sparse reflexive generalized inverses

abstract: The well-known M-P (Moore-Penrose) pseudoinverse is used in several linear-algebra applications; for example, to compute least-squares solutions of inconsistent systems of linear equations. Irrespective of whether a given matrix is sparse, its M-P pseudoinverse can be completely dense, potentially leading to high computational burden and numerical difficulties, especially when we are dealing with high-dimensional matrices. The M-P pseudoinverse is uniquely characterized by four properties, but not all of them need to be satisfied for some applications. In this context, Fampa and Lee (Oper. Res. Letters, 46:605--610, 2018) and Xu, Fampa, Lee and Ponte (SIAM J. on Optimization, to appear) propose local-search procedures to construct sparse block-structured generalized inverses that satisfy only some of the M-P properties. (Vector) 1-norm minimization is used to induce sparsity and to keep the magnitude of the entries under control, and theoretical results limit the distance between the 1-norm of the solution of the local searches and the minimum 1-norm of generalized inverses with corresponding properties. We have implemented several local-search procedures based on results presented in these two papers and make here an experimental analysis of them, considering their application to randomly generated matrices of varied dimensions, ranks, and densities. Further, we carried out a case study on a real-world data set.


title: Optimal Dividends Paid in a Foreign Currency for a L\'evy Insurance Risk Model

abstract: This paper considers an optimal dividend distribution problem for an insurance company where the dividends are paid in a foreign currency. In the absence of dividend payments, our risk process follows a spectrally negative L\'evy process. We assume that the exchange rate is described by a an exponentially L\'evy process, possibly containing the same risk sources like the surplus of the insurance company under consideration. The control mechanism chooses the amount of dividend payments. The objective is to maximise the expected dividend payments received until the time of ruin and a penalty payment at the time of ruin, which is an increasing function of the size of the shortfall at ruin. A complete solution is presented to the corresponding stochastic control problem. Via the corresponding Hamilton--Jacobi--Bellman equation we find the necessary and sufficient conditions for optimality of a single dividend barrier strategy. A number of numerical examples illustrate the theoretical analysis.


title: A Two-step Calibration Method for Unfocused Light Field Camera Based on Projection Model Analysis

abstract: Accurately calibrating light field camera is essential to its applications. Rapid progress has been made in this area in the past decades. In this paper, detailed analysis was first performed towards the state of the art projection models for calibration which were further interpreted in three representations, including the correspondence between rays and pixels, 3D physical points and pixels and between 3D physical points and 3D signal structure of the captured light field. Based on the analysis, parameters in the projection model were grouped into direction parameter set and depth parameter set. A two-step calibration method was then proposed with each step dealing with each set of parameters. The proposed method is able to reuse traditional camera calibration methods for the direction parameter set. A simply raw image-based calibration of depth parameter set was further proposed. Systematic validations were conducted to evaluate the performance of the proposed calibration method. Experimental results show that the accuracy and robustness of the proposed method outperforms its counterparts under various benchmark criteria.


title: The twisted gradient flow running coupling in SU(3): a non-perturbative determination

abstract: We report some preliminary results of our ongoing non-perturbative computation of the twisted 't Hooft running coupling in a particular set-up, using the gradient flow to define the coupling and step scaling techniques to compute it. For the computation we considered a pure gauge SU(3) theory in four dimensions, defined on the lattice on an asymmetrical torus endowed with twisted boundary conditions in a single plane, and related the energy scale of the coupling to an effective size combining the size of the torus and the rank of the gauge group. Additionally, we explore some of the effects of the freezing of the topology on the computation of the coupling.


title: Each positive rational number has the form $\varphi(m^2)/\varphi(n^2)$

abstract: In this note, we show that each positive rational number can be written as $\varphi(m^2)/\varphi(n^2)$, where $\varphi$ is Euler's totient function and $m$ and $n$ are positive integers.


title: On measures of classicality/quantumness in quasiprobability representations of finite-dimensional quantum systems

abstract: In the present report we discuss measures of classicality/quantumness of states of finite-dimensional quantum systems, which are based on a deviation of quasiprobability distributions from true statistical distributions. Particularly, the dependence of the global indicator of classicality on the assigned geometry of a quantum state space is analysed for a whole family of Wigner quasiprobability representations. General considerations are exemplified by constructing the global indicator of classicality/quantumness for the Hilbert-Schmidt, Bures and Bogoliubov-Kubo-Mori ensembles of qubits and qutrits.


title: Spin Seebeck effect and magnon diffusion length in $\rm{\mathbf{Fe}}_{\mathbf{3}}\rm{\mathbf{O}}_{\mathbf{4}}$

abstract: The determination of the magnon diffusion length (MDL) is important for increasing the efficiency of spin Seebeck effect (SSE) based devices utilising non-metallic magnets. We extract the MDL at $50$ and $300\,\rm{K}$ in an $\rm{Fe}_{3}\rm{O}_{4}$ single crystal from the magnon dispersion obtained using inelastic neutron scattering (INS) and find them to be equal within error. We then measure the heat flux normalised SSE responses and in-plane magnetization of $\rm{Fe}_{3}\rm{O}_{4}$ thin films and normalise by the static magnetization contribution to the SSE before determining the MDLs from a fit of the thickness dependence. We find that the MDLs determined in this way are smaller than that measured from INS which maybe due to differences in magnon propagation between bulk and thin film $\rm{Fe}_{3}\rm{O}_{4}$.


title: Quantifying Residual Motion Artifacts in Fetal fMRI Data

abstract: Fetal functional Magnetic Resonance Imaging (fMRI) has emerged as a powerful tool for investigating brain development in utero, holding promise for generating developmental disease biomarkers and supporting prenatal diagnosis. However, to date its clinical applications have been limited by unpredictable fetal and maternal motion during image acquisition. Even after spatial realigment, these cause spurious signal fluctuations confounding measures of functional connectivity and biasing statistical inference of relationships between connectivity and individual differences. As there is no ground truth for the brain's functional structure, especially before birth, quantifying the quality of motion correction is challenging. In this paper, we propose evaluating the efficacy of different regression based methods for removing motion artifacts after realignment by assessing the residual relationship of functional connectivity with estimated motion, and with the distance between areas. Results demonstrate the sensitivity of our evaluation's criteria to reveal the relative strengths and weaknesses among different artifact removal methods, and underscore the need for greater care when dealing with fetal motion.


title: The fractional Schr\"odinger equation on compact manifolds: Global controllability results

abstract: The goal of this work is to prove global controllability and stabilization properties for the fractional Schr\"odinger equation on $d$-dimensional compact Riemannian manifolds without boundary $(M,g)$. To prove our main results we use techniques of pseudo-differential calculus on manifolds. More precisely, by using microlocal analysis, we are able to prove propagation of regularity which together with the so-called Geometric Control Condition and Unique Continuation Property help us to prove global control results for the system under consideration. As a main novelty this manuscript presents the relation between the geometric control condition and the controllability for the fractional Schr\"odinger equation.


title: On Polynomial Modular Number Systems over $\mathbb{Z}/p\mathbb{Z}$

abstract: Since their introduction in 2004, Polynomial Modular Number Systems (PMNS) have become a very interesting tool for implementing cryptosystems relying on modular arithmetic in a secure and efficient way. However, while their implementation is simple, their parameterization is not trivial and relies on a suitable choice of the polynomial on which the PMNS operates. The initial proposals were based on particular binomials and trinomials. But these polynomials do not always provide systems with interesting characteristics such as small digits, fast reduction, etc. In this work, we study a larger family of polynomials that can be exploited to design a safe and efficient PMNS. To do so, we first state a complete existence theorem for PMNS which provides bounds on the size of the digits for a generic polynomial, significantly improving previous bounds. Then, we present classes of suitable polynomials which provide numerous PMNS for safe and efficient arithmetic.


title: Entropy-dissipating finite-difference schemes for nonlinear fourth-order parabolic equations

abstract: Structure-preserving finite-difference schemes for general nonlinear fourth-order parabolic equations on the one-dimensional torus are derived. Examples include the thin-film and the Derrida-Lebowitz-Speer-Spohn equations. The schemes conserve the mass and dissipate the entropy. The scheme associated to the logarithmic entropy also preserves the positivity. The idea of the derivation is to reformulate the equations in such a way that the chain rule is avoided. A central finite-difference discretization is then applied to the reformulation. In this way, the same dissipation rates as in the continuous case are recovered. The strategy can be extended to a multi-dimensional thin-film equation. Numerical examples in one and two space dimensions illustrate the dissipation properties.


title: Accelerating Forward and Backward Private Searchable Encryption Using Trusted Execution

abstract: Searchable encryption (SE) is one of the key enablers for building encrypted databases. It allows a cloud server to search over encrypted data without decryption. Dynamic SE additionally includes data addition and deletion operations to enrich the functions of encrypted databases. Recent attacks exploiting the leakage in dynamic operations drive rapid development of new SE schemes revealing less information while performing updates; they are also known as forward and backward private SE. Newly added data is no longer linkable to queries issued before, and deleted data is no longer searchable in queries issued later. However, those advanced SE schemes reduce the efficiency of SE, especially in the communication cost between the client and server. In this paper, we resort to the hardware-assisted solution, aka Intel SGX, to ease the above bottleneck. Our key idea is to leverage SGX to take over the most tasks of the client, i.e., tracking keyword states along with data addition and caching deleted data. However, handling large datasets is non-trivial due to the I/O and memory constraints of the SGX enclave. We further develop batch data processing and state compression technique to reduce the communication overhead between the SGX and untrusted server, and minimise the memory footprint in the enclave. We conduct a comprehensive set of evaluations on both synthetic and real-world datasets, which confirm that our designs outperform the prior art.


title: Deformation of Lie-Poisson algebras and chirality

abstract: Linearization of a Hamiltonian system around an equilibrium point yields a set of Hamiltonian-symmetric spectra: If $\lambda$ is an eigenvalue of the linearized generator, $-\lambda$ and $\bar{\lambda}$ (hence, $-\bar{\lambda}$) are also eigenvalues -- the former implies a time-reversal symmetry, while the latter guarantees the reality of the solution. However, linearization around a singular equilibrium point (which commonly exists in noncanonical Hamiltonian systems) works out differently, resulting in breaking of the Hamiltonian symmetry of spectra; time-reversal asymmetry causes chirality. This interesting phenomenon was first found in analyzing the chiral motion of the rattleback, a boat-shaped top having misaligned axes of inertia and geometry [Phys. Lett. A 381 (2017), 2772--2777]. To elucidate how chiral spectra are generated, we study the 3-dimensional Lie-Poisson systems, and classify the prototypes of singularities that cause symmetry breaking. The central idea is the deformation of the underlying Lie algebra; invoking Bianchi's list of all 3-dimensional Lie algebras, we show that the so-called class-B algebras, which are produced by asymmetric deformations of the simple algebra so(3), yield chiral spectra when linearized around their singularities. The theory of deformation is generalized to higher dimensions, including the infinite-dimensional Poisson manifolds relevant to fluid mechanics.

categories: math-ph math.DS math.MP physics.class-ph physics.flu-dyn


title: Boson Stars and QCD Boson Stars

abstract: In this talk, we present a review of our work on boson stars in a theory of a massless complex scalar field in the presence of a $U(1)$ gauge field and gravity. A sequence of bifurcation points obtained in the phase diagrams of the theory is presented and the plots of the mass $~M~$ versus charge $~Q~$ as well as plots of the mass per unit charge $~M/Q~$ versus the charge $~Q~$ of the boson stars are presented along with a discussion of the results. We also present some ideas on the possibilities of QCD boson stars.


title: The bivariant parasimplicial $\mathsf{S}_{\bullet}$-construction

abstract: Coherent strings of composable morphisms play an important role in various important constructions in abstract stable homotopy theory (for example algebraic K-theory or higher Toda brackets) and in the representation theory of finite dimensional algebras (as representations of Dynkin quivers of type A). In a first step we will prove a strong comparison result relating composable strings of morphisms and coherent diagrams on cubes with support on a path from the initial to the final object. We observe that both structures are equivalent (by passing to higher analogues of mesh categories) to distinguished coherent diagrams on special classes of morphism objects in the 2-category of parasimplices. Furthermore, we show that the notion of distinguished coherent diagrams generalizes well to arbitrary morphism objects in this 2-category. The resulting categories of coherent diagrams lead to higher versions of the $\mathsf{S}_{\bullet}$-construction and are closely related to representations of higher Auslander algebras of Dynkin quivers of type A. Understanding these categories and the functors relating them in general will require a detailed analysis of the 2-category of parasimplices as well as basic results from abstract cubical homotopy theory (since subcubes of distinguished diagrams very often turn out to be bicartesian). Finally, we show that the previous comparison result extends to a duality theorem on general categories of distinguished coherent diagrams, as a special case leading to some new derived equivalences between higher Auslander algebras.


title: Determination of centrality in nuclear collisions by using hadron calorimeter

abstract: The determination of the centrality of nuclear collision or the value of the impact parameter of heavy nuclei is of great importance for the analysis of all experimental data and comparison with theory. One method is to measure the number of spectators using a hadron calorimeter located at a small angle to the nuclear beam. It is shown that with an achievable resolution of the hadron calorimeter in energy, the accuracy of determining the impact parameter is insufficient for using the calorimeter in the MPD / NICA and CBM / FAIR projects. The error reaches 35 % at a beam energy of 2.5 GeV even for peripheral collisions. Secondary processes during the passage of spectators through the nucleus give an additional contribution to the error for central collisions and at medium centralities.


title: Effective negative specific heat by destabilization of metastable states in dipolar systems

abstract: We study dipolarly coupled three dimensional spin systems in both the microcanonical and the canonical ensembles by introducing appropriate numerical methods to determine the microcanonical temperature and by realizing a canonical model of heat bath. In the microcanonical ensemble, we show the existence of a branch of stable antiferromagnetic states in the low energy region. Other metastable ferromagnetic states exist in this region: by externally perturbing them, an effective negative specific heat is obtained. In the canonical ensemble, for low temperatures, the same metastable states are unstable and reach a new branch of more robust metastable states which is distinct from the stable one. Our statistical physics approach allows us to put some order in the complex structure of stable and metastable states of dipolar systems.


title: The Confining Transition in the Bosonic BMN Matrix Model

abstract: We study the confining/deconfining phase transition in the mass deformed Yang-Mills matrix model which is obtained by the dimensional reduction of the bosonic sector of the four-dimensional maximally supersymmetric Yang-Mills theory compactified on the three sphere, i.e. the bosonic BMN model. The $1/D$ (with $D$ the number of matrices) expansion suggests that the model may have two closely separated transitions. However, using a second order lattice formulation of the model we find that for the small value of the mass parameter, $\mu=2$, those two apparent critical temperatures merge at large $N$, leaving only a single weakly first-order phase transition, in agreement with recent numerical results for $\mu=0$ (the bosonic BFSS model).


title: SympNets: Intrinsic structure-preserving symplectic networks for identifying Hamiltonian systems

abstract: We propose new symplectic networks (SympNets) for identifying Hamiltonian systems from data based on a composition of linear, activation and gradient modules. In particular, we define two classes of SympNets: the LA-SympNets composed of linear and activation modules, and the G-SympNets composed of gradient modules. Correspondingly, we prove two new universal approximation theorems that demonstrate that SympNets can approximate arbitrary symplectic maps based on appropriate activation functions. We then perform several experiments including the pendulum, double pendulum and three-body problems to investigate the expressivity and the generalization ability of SympNets. The simulation results show that even very small size SympNets can generalize well, and are able to handle both separable and non-separable Hamiltonian systems with data points resulting from short or long time steps. In all the test cases, SympNets outperform the baseline models, and are much faster in training and prediction. We also develop an extended version of SympNets to learn the dynamics from irregularly sampled data. This extended version of SympNets can be thought of as a universal model representing the solution to an arbitrary Hamiltonian system.


title: Optimal Scheduling of Frequency Services Considering a Variable Largest-Power-Infeed-Loss

abstract: Low levels of inertia due to increasing renewable penetration bring several challenges, such as the higher need for Primary Frequency Response (PFR). A potential solution to mitigate this problem consists on reducing the largest possible power loss in the grid. This paper develops a novel modelling framework to analyse the benefits of such approach. A new frequency-constrained Stochastic Unit Commitment (SUC) is proposed here, which allows to dynamically reduce the largest possible loss in the optimisation problem. Furthermore, the effect of load damping is included by means of an approximation, while its effect is typically neglected in previous frequency-secured-UC studies. Through several case studies, we demonstrate that reducing the largest loss could significantly decrease operational cost and carbon emissions in the future Great Britain's grid.


title: Generalized Analysis of the E\"{o}tv\"{o}s Experiment

abstract: We present a generalized phenomenological formalism for analyzing the original E\"{o}tv\"{o}s experiment in the presence of gravity and a generic "5th force." To date no evidence for a 5th force has emerged since its presence was suggested by a 1986 reanalysis of the 1922 publication coauthored by E\"{o}tv\"{o}s, Pek\`ar, and Fekete (EPF). However, our generalized analysis introduces new mechanisms capable in principle of accounting for the EPF data, while at the same time avoiding detection by most recent experiments carried out to date. As an example, some of these mechanisms raise the possibility that the EPF signal could have arisen from an unexpected direction if it originated from the motion of the Earth through a medium.


title: Private Information Retrieval Over Gaussian MAC

abstract: Consider the problem of Private Information Retrieval (PIR), where a user wishes to retrieve a single message from $N$ non-communicating and non-colluding databases (servers). All servers store the same set of $M$ messages and they respond to the user through a block fading Gaussian Multiple Access Channel (MAC). The goal in this setting is to keep the index of the required message private from the servers while minimizing the overall communication overhead. This work provides joint privacy and channel coding retrieval schemes for the Gaussian MAC with and without fading. The schemes exploit the linearity of the channel while using the Compute and Forward (CF) coding scheme. Consequently, single-user encoding and decoding are performed to retrieve the private message. In the case of a channel without fading, the achievable retrieval rate is shown to outperform a separation-based scheme, in which the retrieval and the channel coding are designed separately. Moreover, this rate is asymptotically optimal as the SNR grows, and are up to a constant gap of $2$ bits per channel use from the channel capacity without privacy constraints, for all SNR values. When the channel suffers from fading, the asymmetry between the servers' channels forces a more complicated solution, which involves a hard optimization problem. Nevertheless, we provide coding scheme and lower bounds on the expected achievable retrieval rate which are shown to have the same scaling laws as the channel capacity, both in the number of servers and the SNR.


title: Sparse Black-box Video Attack with Reinforcement Learning

abstract: Adversarial attacks on video recognition models have been explored recently. However, most existing works treat each video frame equally and ignore their temporal interactions. To overcome this drawback, a few methods try to select some key frames and then perform attacks based on them. Unfortunately, their selection strategy is independent of the attacking step, therefore the resulting performance is limited. Instead, we argue the frame selection phase is closely relevant with the attacking phase. The key frames should be adjusted according to the attacking results. For that, we formulate the black-box video attacks into a Reinforcement Learning (RL) framework. Specifically, the environment in RL is set as the recognition model, and the agent in RL plays the role of frame selecting. By continuously querying the recognition models and receiving the attacking feedback, the agent gradually adjusts its frame selection strategy and adversarial perturbations become smaller and smaller. We conduct a series of experiments with two mainstream video recognition models: C3D and LRCN on the public UCF-101 and HMDB-51 datasets. The results demonstrate that the proposed method can significantly reduce the adversarial perturbations with efficient query times.


title: Continua having distal minimal actions by amenable groups

abstract: Let $X$ be a non-degenerate connected compact metric space. If $X$ admits a distal minimal action by a finitely generated amenable group, then the first \vCech cohomology group $ {\check H}^1(X)$ with integer coefficients is nontrivial. In particular, if $X$ is homotopically equivalent to a CW complex, then $X$ cannot be simply connected.


title: Phase sensitive detection of extent of corrosion in steel reinforcing bars using eddy currents

abstract: Corrosion of steel bars in reinforced cement concrete (RCC) structures leads to premature deterioration and increase in life cycle maintenance costs. Non-destructive testing (NDT) of incipient corrosion has been an impending task in this domain. We present a low cost sensing platform based on eddy current detection using anisotropic magnetoresistive (AMR) sensor to measure the extent of corrosion in steel reinforcing bars (rebars). The scheme employs phase-sensitive detection, wherein the phase shift in the sensor output (proportional to surface conductivity of the rebar) relative to the reference stimulus is measured by a lock-in amplifier and used to distinguish corroded and non-corroded rebars. The proof-of-concept sensor demonstration is able to resolve varying extents of rebar corrosion and can find potential applications as an NDT tool in a variety of industries.


title: NOMA Enhanced Terrestrial and Aerial IoT Networks with Partial CSI

abstract: This article investigates a non-orthogonal multiple access (NOMA) enhanced Internet of Things (IoT) network. In order to provide connectivity, a novel cluster strategy is proposed, where multiple devices can be served simultaneously. Two potential scenarios are investigated: 1) NOMA enhanced terrestrial IoT networks and 2) NOMA enhanced aerial IoT networks. We utilize stochastic geometry tools to model the spatial randomness of both terrestrial and aerial devices. New channel statistics are derived for both terrestrial and aerial devices. The exact and the asymptotic expressions in terms of coverage probability are derived. In order to obtain further engineering insights, short-packet communication scenarios are investigated. From our analysis, we show that the performance of NOMA enhanced IoT networks is capable of outperforming OMA enhanced IoT networks. Moreover, based on simulation results, there exists an optimal value of the transmit power that maximizes the coverage probability.


title: A Game Generative Network Framework with its Application to Relationship Inference

abstract: A game process is a system where the decisions of one agent can influence the decisions of other agents. In the real world, social influences and relationships between agents may influence the decision makings of agents with game behaviors. And in turn, this also gives us the opportunity to mine such information from agents by the observed interactions of them in a game process. In this paper, we propose a Game Generative Network (GGN) framework that utilizes the deviation between the real game outcome and the ideal game model to generate networks for game processes, which opens a door for understanding agents with game behaviors by network mining approaches. We illustrate how to apply GGNs to infer the hidden relationships between agents with game behaviors and conduct experiments on team games as a concrete example. Experimental results demonstrate that our proposed framework can reveal the hidden relationships of agents in such games.


title: Analytical approach to the surface plasmon resonance characteristic of metal nanoparticle dimer in dipole-dipole approximation

abstract: This theoretical study, deals with the effect of bi-particle interaction on the surface plasmon resonance (SPR) in a dimer which includes two identical metal nanoparticles (NPs). Considering the dipole-dipole interaction in a Drude-like model, an appropriate equation is derived for the permittivity of each NP. The restoration force related to the classical confinement originating from the finite size of NPs is considered and an appropriate adjustment coefficient is considered for this term through analyzing experimental data. Two different polarizations are considered for the laser beam electric field and it is shown that the orientation of electric field has essential role in the linear optical properties of dimer. Numerical investigation is accomplished for a dimer of gold NPs with two different diameters of 4nm and 20nm. For the parallel polarization, dipole-dipole interaction leads to the red-shift of SPR wavelength and increase in its peak value while for the perpendicular polarization, the absolutely opposite results are derived. For all cases, it is shown that SPR wavelength functionality with respect to the geometric factor $a/d$ (NP radius to the separation) can be presented by a cubic equation that fits better than an exponential one suggested by the earlier studies which demonstrates the dipole-dipole characteristic of the interaction. Qualitatively, our results are in good agreement with the other experimental studies.