title: Metasurface-Assisted Passive Wireless Communication with Commodity Wi-Fi Signals

abstract: Wireless communication has become a standard solution to address ever-increasing demands for information transfer in our modern society. Conventional systems work in an active way in the sense that an active carrier signal is mandatorily required to transfer information from Alice to Bob. Especially in the era of 5G6G and with the advent of the Internet of Things (IoT), an exponential growth of users and connectivity confronts conventional systems with important challenges including limited spectrum resources, information security, energy consumption and cost efficiency. Here, we introduce the fundamentally different concept of passive wireless communication (PWC) which has the potential to resolve the above-mentioned issues. PWC transfers digital information by modulating demodulating already existing omnipresent ambient stray electromagnetic waves using a programmable metasurface. We provide a theoretical framework for encoding decoding and modulating demodulating in PWC and build a proof-of-principle prototype system leveraging existing commodity 2.4GHz Wi-Fi signals. We demonstrate information transfer from Alice to Bob with data rates on the order of hundreds of Kbps using distinguishable information-carrying control coding patterns of metasurface, neither necessitating an active carrier signal and its associated radio-frequency chain nor affecting the background active wireless communication. The presented strategy is particularly appealing for green IoT connectivity. At the same time, the concept is applicable to all types of wave phenomena and provides a fundamentally new perspective on the design of future wireless communication architectures.


title: Towards an automation of the circle method

abstract: The derivation of the Hardy-Ramanujan-Rademacher formula for the number of partitions of $n$ is reviewed. Next, the steps for finding analogous formulas for certain restricted classes of partitions or overpartiitons is examined, bearing in mind how these calculations can be automated in a CAS. Finally, a number of new formulas of this type which were conjectured with the aid of \emph{Mathematica} are presented along with results of a test for their numerical accuracy.


title: Heterogeneous Learning from Demonstration

abstract: The development of human-robot systems able to leverage the strengths of both humans and their robotic counterparts has been greatly sought after because of the foreseen, broad-ranging impact across industry and research. We believe the true potential of these systems cannot be reached unless the robot is able to act with a high level of autonomy, reducing the burden of manual tasking or teleoperation. To achieve this level of autonomy, robots must be able to work fluidly with its human partners, inferring their needs without explicit commands. This inference requires the robot to be able to detect and classify the heterogeneity of its partners. We propose a framework for learning from heterogeneous demonstration based upon Bayesian inference and evaluate a suite of approaches on a real-world dataset of gameplay from StarCraft II. This evaluation provides evidence that our Bayesian approach can outperform conventional methods by up to 12.8$%$.


title: Nuclear medium effect on neutron capture reactions during neutron star mergers

abstract: The discovery of gravitational waves has confirmed old theoretical predictions that binary systems formed with compact stars play a crucial role not only for cosmology and nuclear astrophysics. As a byproduct of these and subsequent observations, it is now clear that neutron-star mergers can be a competitive site for the production of half of the elements heavier than iron in the universe following a sequence of fast neutron capture reactions known as the r process. In this article we discuss an effect which has been so far neglected in calculations of r-process nucleosynthesis in neutron star mergers. We show that the corrections due to the neutron environment even at relatively small neutron densities, within the bounds of numerical hydrodynamical simulations of neutron star mergers and after the onset of the r process, are non-negligible and need to be taken into account to accurately describe the elemental abundance as determined by observations.


title: Noise dependent Super Gaussian-Coherence based dual microphone Speech Enhancement for hearing aid application using smartphone

abstract: In this paper, the coherence between speech and noise signals is used to obtain a Speech Enhancement (SE) gain function, in combination with a Super Gaussian Joint Maximum a Posteriori (SGJMAP) single microphone SE gain function. The proposed SE method can be implemented on a smartphone that works as an assistive device to hearing aids. Although coherence SE gain function suppresses the background noise well, it distorts the speech. In contrary, SE using SGJMAP improves speech quality with additional musical noise, which we contain by using a post filter. The weighted union of these two gain functions strikes a balance between noise suppression and speech distortion. A 'weighting' parameter is introduced in the derived gain function to allow the smartphone user to control the weighting factor based on different background noise and their comfort level of hearing. Objective and subjective measures of the proposed method show effective improvement in comparison to standard techniques considered in this paper for several noisy conditions at signal to noise ratio levels of -5 dB, 0 dB and 5 dB.


title: Fluence compensation for real-time spectroscopic photoacoustic imaging

abstract: Recently we demonstrated an integrated photoacoustic (PA) and ultrasound (PAUS) system using a kHz-rate wavelength-tunable laser and a swept-beam delivery approach. It irradiates a medium using a narrow laser beam sweeping at high repetition rate over the desired imaging area, in contrast to the conventional PA approach using broad beam illumination at a low repetition. One significant advantage of this approach is that the fundamental problem of decoupling local light absorption at a point from optical fluence at the same point can be solved. Here, we present a fluence compensation method and demonstrate its performance in phantom studies. We adopted analytic fluence models, extending diffusion theory for the case of a pencil beam obliquely incident on a medium, and developed robust methods to estimate medium optical parameters using PA measurements acquired from multiple irradiation positions. We conducted comprehensive simulation tests and phantom studies using well-known contrast-agents to validate the reliability of the fluence models and spectral corrections.

categories: eess.SP cs.SY eess.IV eess.SY physics.optics


title: High-temperature magnetism and crystallography of a YCrO$_3$ single crystal

abstract: Magnetization measurements and time-of-flight neutron powder-diffraction studies on the high-temperature (300--980 K) magnetism and crystal structure (321--1200 K) of a pulverized YCrO$_3$ single crystal have been performed. Temperature-dependent inverse magnetic susceptibility coincides with a piecewise linear function with five regimes, with which we fit a Curie-Weiss law and calculate the frustration factor $f$. The fit results indicate a formation of magnetic polarons between 300 and 540 K and a very strong magnetic frustration. By including one factor $\eta$ that represents the degree of spin interactions into the Brillouin function, we can fit well the applied-magnetic-field dependence of magnetization. No structural phase transition was observed from 321 to 1200 K. The average thermal expansions of lattice configurations (\emph{a}, \emph{b}, \emph{c}, and \emph{V}) obey well the Gr$\ddot{\textrm{u}}$neisen approximations with an anomaly appearing around 900 K, implying an isosymmetric structural phase transition, and display an anisotropic character along the crystallographic \emph{a}, \emph{b}, and \emph{c} axes with the incompressibility $K^a_0 > K^c_0 > K^b_0$. It is interesting to find that at 321 K, the local distortion size $\Delta$(O2) $\approx$ 1.96$\Delta$(O1) $\approx$ 4.32$\Delta$(Y) $\approx$ 293.89$\Delta$(Cr). Based on the refined Y-O and Cr-O bond lengths, we deduce the local distortion environments and modes of Y, Cr, O1, and O2 ions. Especially, the Y and O2 ions display obvious atomic displacement and charge subduction, which may shed light on the dielectric property of the YCrO$_3$ compound. Additionally, by comparing Kramers Mn$^{3+}$ with non-Kramers Cr$^{3+}$ ions, it is noted that being a Kramers or non-Kramers ion can strongly affect the local distortion size, whereas, it may not be able to change the detailed distortion mode.


title: Minimal Starobinsky supergravity coupled to dilaton-axion superfield

abstract: The minimal Starobinsky supergravity with the inflaton (scalaron) and the goldstino in a massive vector supermultiplet is coupled to the dilaton-axion chiral superfield with the no-scale K\"ahler potential and a superpotential. The Kachru-Kallosh-Linde-Trivedi (KKLT)-type mechanism in the presence of a constant term in the superpotential is applied to stabilize the dilaton/axion during inflation, and it is shown to lead to an instability. The instability is cured by adding the alternative Fayet-Iliopoulos (FI) term that does not lead to the gauged $R$-symmetry. Other stabilization mechanisms, based on the Wess-Zumino (WZ)-type superpotential, are also studied in the presence of the FI term. A possible connection to a D3-brane is briefly discussed too.


title: On the Length of Monotone Paths in Polyhedra

abstract: Motivated by the problem of bounding the number of iterations of the Simplex algorithm we investigate the possible lengths of monotone paths followed by the Simplex method inside the oriented graphs of polyhedra (oriented by the objective function). We consider both the shortest and the longest monotone paths and estimate the monotone diameter and height of polyhedra. Our analysis applies to transportation polytopes, matroid polytopes, matching polytopes, shortest-path polytopes, and the TSP, among others. We begin by showing that combinatorial cubes have monotone and Bland pivot height bounded by their dimension and that in fact all monotone paths of zonotopes are no larger than the number of edge directions of the zonotope. We later use this to show that several polytopes have polynomial-size pivot height, for all pivot rules. In contrast, we show that many well-known combinatorial polytopes have exponentially-long monotone paths. Surprisingly, for some famous pivot rules, e.g., greatest improvement and steepest edge, these same polytopes have polynomial-size simplex paths.


title: Naive Exploration is Optimal for Online LQR

abstract: We consider the problem of online adaptive control of the linear quadratic regulator, where the true system parameters are unknown. We prove new upper and lower bounds demonstrating that the optimal regret scales as $\widetilde{\Theta}({\sqrt{d_{\mathbf{u}}^2 d_{\mathbf{x}} T}})$, where $T$ is the number of time steps, $d_{\mathbf{u}}$ is the dimension of the input space, and $d_{\mathbf{x}}$ is the dimension of the system state. Notably, our lower bounds rule out the possibility of a $\mathrm{poly}(\log{}T)$-regret algorithm, which had been conjectured due to the apparent strong convexity of the problem. Our upper bound is attained by a simple variant of $\textit{{certainty equivalent control}}$, where the learner selects control inputs according to the optimal controller for their estimate of the system while injecting exploratory random noise. While this approach was shown to achieve $\sqrt{T}$-regret by (Mania et al. 2019), we show that if the learner continually refines their estimates of the system matrices, the method attains optimal dimension dependence as well. Central to our upper and lower bounds is a new approach for controlling perturbations of Riccati equations called the $\textit{self-bounding ODE method}$, which we use to derive suboptimality bounds for the certainty equivalent controller synthesized from estimated system dynamics. This in turn enables regret upper bounds which hold for $\textit{any stabilizable instance}$ and scale with natural control-theoretic quantities.


title: Cellular Decomposition for Non-repetitive Coverage Task with Minimum Discontinuities

abstract: A mechanism to derive non-repetitive coverage path solutions with a proven minimal number of discontinuities is proposed in this work, with the aim to avoid unnecessary, costly end effector lift-offs for manipulators. The problem is motivated by the automatic polishing of an object. Due to the non-bijective mapping between the workspace and the joint-space, a continuous coverage path in the workspace may easily be truncated in the joint-space, incuring undesirable end effector lift-offs. Inversely, there may be multiple configuration choices to cover the same point of a coverage path through the solution of the Inverse Kinematics. The solution departs from the conventional local optimisation of the coverage path shape in task space, or choosing appropriate but possibly disconnected configurations, to instead explicitly explore the leaast number of discontinuous motions through the analysis of the structure of valid configurations in joint-space. The two novel contributions of this paper include proof that the least number of path discontinuities is predicated on the surrounding environment, independent from the choice of the actual coverage path; thus has a minimum. And an efficient finite cellular decomposition method to optimally divide the workspace into the minimum number of cells, each traversable without discontinuties by any arbitrary coverage path within. Extensive simulation examples and real-world results on a 5 DoF manipulator are presented to prove the validity of the proposed strategy in realistic settings.


title: Genetic Programming for Evolving a Front of Interpretable Models for Data Visualisation

abstract: Data visualisation is a key tool in data mining for understanding big datasets. Many visualisation methods have been proposed, including the well-regarded state-of-the-art method t-Distributed Stochastic Neighbour Embedding. However, the most powerful visualisation methods have a significant limitation: the manner in which they create their visualisation from the original features of the dataset is completely opaque. Many domains require an understanding of the data in terms of the original features; there is hence a need for powerful visualisation methods which use understandable models. In this work, we propose a genetic programming approach named GPtSNE for evolving interpretable mappings from a dataset to highquality visualisations. A multi-objective approach is designed that produces a variety of visualisations in a single run which give different trade-offs between visual quality and model complexity. Testing against baseline methods on a variety of datasets shows the clear potential of GP-tSNE to allow deeper insight into data than that provided by existing visualisation methods. We further highlight the benefits of a multi-objective approach through an in-depth analysis of a candidate front, which shows how multiple models can


title: Asymptotic expansion for the Hartman-Watson distribution

abstract: The Hartman-Watson distribution with density $f_r(t)$ is a probability distribution defined on $t \geq 0$ which appears in several problems of applied probability. The density of this distribution is expressed in terms of an integral $\theta(r,t)$ which is difficult to evaluate numerically for small $t\to 0$. Using saddle point methods, we obtain the first two terms of the $t\to 0$ expansion of $\theta(\rho/t,t)$ at fixed $\rho >0$. An error bound is obtained by numerical estimates of the integrand, which is furthermore uniform in $\rho$. As an application we obtain the leading asymptotics of the density of the time average of the geometric Brownian motion as $t\to 0$. This has the form $\mathbb{P}(\frac{1}{t} \int_0^t e^{2(B_s+\mu s)} ds \in da) = (2\pi t)^{-1/2} g(a,\mu) e^{-\frac{1}{t} J(a)} (1 + O(t))$, with an exponent $J(a)$ which reproduces the known result obtained previously using Large Deviations theory.


title: Improved quantum circuits for elliptic curve discrete logarithms

abstract: We present improved quantum circuits for elliptic curve scalar multiplication, the most costly component in Shor's algorithm to compute discrete logarithms in elliptic curve groups. We optimize low-level components such as reversible integer and modular arithmetic through windowing techniques and more adaptive placement of uncomputing steps, and improve over previous quantum circuits for modular inversion by reformulating the binary Euclidean algorithm. Overall, we obtain an affine Weierstrass point addition circuit that has lower depth and uses fewer $T$ gates than previous circuits. While previous work mostly focuses on minimizing the total number of qubits, we present various trade-offs between different cost metrics including the number of qubits, circuit depth and $T$-gate count. Finally, we provide a full implementation of point addition in the Q# quantum programming language that allows unit tests and automatic quantum resource estimation for all components.


title: Acoustic ferromagnetic resonance and spin pumping induced by surface acoustic waves

abstract: Voltage induced magnetization dynamics of magnetic thin films is a valuable tool to study anisotropic fields, exchange couplings, magnetization damping and spin pumping mechanism. A particularly well established technique is the ferromagnetic resonance (FMR) generated by the coupling of microwave photons and magnetization eigenmodes in the GHz range. Here we review the basic concepts of the so-called acoustic ferromagnetic resonance technique (a-FMR) induced by the coupling of surface acoustic waves (SAW) and magnetization of thin films. Interestingly, additional to the benefits of the microwave excited FMR technique, the coupling between SAW and magnetization also offers fertile ground to study magnon-phonon and spin rotation couplings. We describe the in-plane magnetic field angle dependence of the a-FMR by measuring the absorption / transmission of SAW and the attenuation of SAW in the presence of rotational motion of the lattice, and show the consequent generation of spin current by acoustic spin pumping.


title: On $L^p$-viscosity solutions of parabolic bilateral obstacle problems with unbounded ingredients

abstract: The global equi-continuity estimate on $L^p$-viscosity solutions of parabolic bilateral obstacle problems with unbounded ingredients is established when obstacles are merely continuous. The existence of $L^p$-viscosity solutions is established via an approximation of given data. The local H\"older continuity estimate on the space derivative of $L^p$-viscosity solutions is shown when the obstacles belong to $C^{1, \beta}$, and $p>n+2$.


title: Design of a multi-channel photonic crystal dielectric laser accelerator

abstract: To be useful for most scientific and medical applications, compact particle accelerators will require much higher average current than enabled by current architectures. For this purpose, we propose a photonic crystal architecture for a dielectric laser accelerator, referred to as a multi-input multi-output silicon accelerator (MIMOSA), that enables simultaneous acceleration of multiple electron beams, increasing the total electron throughput by at least one order of magnitude. To achieve this, we show that the photonic crystal must support a mode at the $\Gamma$ point in reciprocal space, with a normalized frequency equal to the normalized speed of the phase matched electron. We show that the figure of merit of the MIMOSA can be inferred from the eigenmodes of the corresponding infinitely periodic structure, which provides a powerful approach to design such devices. Additionally, we extend the MIMOSA architecture to electron deflectors and other electron manipulation functionalities. These additional functionalities, combined with the increased electron throughput of these devices, permit all-optical on-chip manipulation of electron beams in a fully integrated architecture compatible with current fabrication technologies, which opens the way to unconventional electron beam shaping, imaging, and radiation generation.


title: Gravitational microlensing events from the first year of the northern Galactic plane survey by the Zwicky Transient Facility

abstract: The Zwicky Transient Facility (ZTF) is currently surveying the entire northern sky, including dense Galactic plane fields. Here, we present preliminary results of the search for gravitational microlensing events in the ZTF data collected from the beginning of the survey (March 20, 2018) through June 30, 2019.


title: Revealing the configurations and host-guest interactions of small aromatics confined in porous frameworks by electron microscopy

abstract: Directly imaging the configurations of small molecules at the ambient temperatures will greatly promote the study of their chemical and physical properties, including the host-guest interactions of organics in porous materials during the adsorption, catalysis and energy storage. However, due to the current challenges on the small-molecule imaging by the (scanning) transmission electron microscopy ((S)TEM), we still have a lack of the molecular-level understandings on the host-guest interactions and other molecular behaviors. Here, we achieved the STEM imaging of various small aromatics confined in the MFI-type zeolite frameworks by using the integrated differential phase contrast (iDPC) technique. Due to the strong confinement effect in MFI channels, the 1D solid-like aromatic columns showed the coherent configurations, which were clearly resolved by enhancing the host-guest interactions. Then, we also evaluated the strength of host-guest interactions directly by the image analysis and revealed the desorption behaviors of confined aromatics during the in-situ heating process. These results not only helped us to reveal the configurations and host-guest interactions of small aromatics during the adsorption/desorption in porous materials, but also expanded the applications of STEM to further study other molecular behaviors in the real space.


title: Defect generation and dynamics during quenching in finite size homogeneous ion chains

abstract: An equally spaced linear chain of ions provides a test-bed for studying the defect formation in a finite size 1D system. In particular, defect formation related to topological phase transition from a linear configuration to a zig-zag one is of interest here. A semi-empirical expression provides an excellent agreement to the numerical results. The non-adiabatic transition between the chain and zig-zag topologies for a finite size system of 30 ions shows clear distinction from non-uniformly distributed ion chain. Thus the underlying Homogeneous Kibble-Zurek model can be tested in presently accessible ion trap experiments. Furthermore, our study indicates collective defect behaviour appearing through the correlation length measurements.


title: The Atacama Cosmology Telescope: SZ-based masses and dust emission from IR-selected cluster candidates in the SHELA survey

abstract: We examine the stacked thermal Sunyaev-Zel\text{'}dovich (SZ) signals for a sample of galaxy cluster candidates from the Spitzer-HETDEX Exploratory Large Area (SHELA) Survey, which are identified in combined optical and infrared SHELA data using the redMaPPer algorithm. We separate the clusters into three richness bins, with average photometric redshifts ranging from 0.70 to 0.80. The richest bin shows a clear temperature decrement at 148 GHz in the Atacama Cosmology Telescope data, which we attribute to the SZ effect. All richness bins show an increment at 220 GHz, which we attribute to dust emission from cluster galaxies. We correct for dust emission using stacked profiles from Herschel Stripe 82 data, and allow for synchrotron emission using stacked profiles created by binning source fluxes from NVSS data. We see dust emission in all three richness bins, but can only confidently detect the SZ decrement in the highest richness bin, finding $M_{500}$ = $8.7^{+1.7}_{-1.3} \times 10^{13} M_\odot$. Neglecting the correction for dust depresses the inferred mass by 26 percent, indicating a partial fill-in of the SZ decrement from thermal dust and synchrotron emission by the cluster member galaxies. We compare our corrected SZ masses to two redMaPPer mass--richness scaling relations and find that the SZ mass is lower than predicted by the richness. We discuss possible explanations for this discrepancy, and note that the SHELA richnesses may differ from previous richness measurements due to the inclusion of IR data in redMaPPer.


title: Real-Space Imaging of the Ordered Small Molecule Orientations in Porous Frameworks by Electron Microscopy

abstract: The real-space imaging of small molecules is always challenging under the electron microscopes, but highly demanded for investigating various nanoscale interactions, such as hydrogen bond and van der Waals (vdW) force. Especially, identifying the host-guest interactions in porous materials directly at the molecular level will bring a deeper insight into the behaviors of guest molecules during the sorption, catalysis, gas separation and energy storage. In this work, we directly resolved the ordered configurations of p-xylenes (PXs) adsorbed in ZSM-5 frameworks by the scanning transmission electron microscopy (STEM) with the integrated differential phase contrast (iDPC) technique to identify the host-guest vdW interactions. Based on these observations, we revealed that the PXs in one straight channel modified the channel geometry with a coherent orientation. And the adjacent straight channels were deformed up to 8.8% along the different directions corresponding to three dominant PX configurations, resulting a negligible overall expansion of ZSM-5 lattices. Then, we could also image the disorder and desorption of PXs in ZSM-5 channels during the in situ heating. This work not only helped us to study the host-guest vdW interactions and the sorption behaviors of PXs in ZSM-5, but also provided an efficient tool for further imaging and studying other single-molecule behaviors under STEMs.


title: Local Group Analogs in $\Lambda$CDM cosmological simulations

abstract: We use semi-analytic galaxy catalogs based on two high-resolution cosmological $N$-body simulations, Millennium-WMAP7 and Millennium-II, to investigate the formation of the Local Group (LG) analogs. Unlike previous studies, we use the observed stellar masses to select the LG member (Milky Way (MW) and M31) analogs, and then impose constrains using the observed separation, isolation, and kinematics of the two main member galaxies. By comparing radial and low-ellipticity orbits between the MW and M31, we find higher tangential velocity results in higher total mass, which are 4.4$^{+2.4}_{-1.5}\times$10$^{12}\rm M_{\odot}$ and 6.6$^{+2.7}_{-1.5}\times$10$^{12}\rm M_{\odot}$ for radial and low-ellipticity orbits. The orbits also influence the individual mass distribution of MW and M31 analogs. For radial orbits, the typical host halo masses of the MW and M31 are 1.5$^{+1.4}_{-0.7}\times$10$^{12}\rm M_{\odot}$ and 2.5$^{+1.3}_{-1.1}\times$10$^{12}\rm M_{\odot}$; for low-ellipticity orbits, the masses are 2.5$^{+2.2}_{-1.4}\times$10$^{12}\rm M_{\odot}$ and 3.8$^{+2.8}_{-1.8}\times$10$^{12} \rm M_{\odot}$. The LG is located primarily in filaments with tails extending toward higher densities up to $\delta\sim4.5$. The dark matter velocity anisotropy parameters $\beta$ of both the MW and M31 analogs are close to zero in the center, increasing to 0.2--0.3 at 50--80 kpc and decreasing slowly outward. The slope is much flatter than computed from the MW satellites, and the amplitude is smaller than traced by halo stars. Values of $\beta$ from different tracers agree at $\sim$120 kpc where $\beta \sim$ 0.2. We also find that model predictions agree broadly with observations in the radial distribution and luminosity function of satellites around the MW and M31.


title: Energy conserving SUPG methods for compatible finite element schemes in numerical weather prediction

abstract: We present an energy conserving space discretisation based on a Poisson bracket that can be used to derive the dry compressible Euler as well as thermal shallow water equations. It is formulated using the compatible finite element method, and extends the incorporation of upwinding for the shallow water equations as described in Wimmer, Cotter, and Bauer (2019). While the former is restricted to DG upwinding, an energy conserving SUPG scheme for the (partially) continuous Galerkin thermal field space is newly introduced here. The energy conserving property is validated by coupling the Poisson bracket based spatial discretisation to an energy conserving time discretisation. Further, the discretisation is demonstrated to lead to an improved temperature field development with respect to stability when upwinding is included. An approximately energy conserving full discretisation with a smaller computational cost is also presented.


title: The complexity of solution sets to equations in hyperbolic groups

abstract: We show that the full set of solutions to systems of equations and inequations in a hyperbolic group, as shortlex geodesic words (or any regular set of quasigeodesic normal forms), is an EDT0L language whose specification can be computed in NSPACE$(n^2\log n)$ for the torsion-free case and NSPACE$(n^4\log n)$ in the torsion case. Furthermore, in the presence of quasi-isometrically embeddable rational constraints, we show that the full set of solutions to systems of equations in a hyperbolic group remains EDT0L. Our work combines the geometric results of Rips, Sela, Dahmani and Guirardel on the decidability of the existential theory of hyperbolic groups with the work of computer scientists including Plandowski, Je\.z, Diekert and others on PSPACE algorithms to solve equations in free monoids and groups using compression, and involves an intricate language-theoretic analysis.


title: Finding Security Vulnerabilities in Network Protocol Implementations

abstract: Implementations of network protocols are often prone to vulnerabilities caused by developers' mistakes when accessing memory regions and dealing with arithmetic operations. Finding practical approaches for checking the security of network protocol implementations has proven to be a challenging problem. The main reason is that the protocol software state-space is too large to be explored. Here we propose a novel verification approach that combines fuzzing with symbolic execution to verify intricate properties in network protocol implementations. We use fuzzing for an initial exploration of the network protocol, while symbolic execution explores both the program paths and protocol states, which were uncovered by fuzzing. From this combination, we automatically generate high-coverage test input packets for a network protocol implementation. We surveyed various approaches based on fuzzing and symbolic execution to understand how these techniques can be effectively combined and then choose a suitable tool to develop further our model on top of it. In our preliminary evaluation, we used ESBMC, Map2Check, and KLEE as software verifiers and SPIKE as fuzzer to check their suitability to verify our network protocol implementations. Our experimental results show that ESBMC can be further developed within our verification framework called \textit{FuSeBMC}, to efficiently and effectively detect intricate security vulnerabilities in network protocol implementations.


title: Shapley value confidence intervals for attributing variance explained

abstract: The coefficient of determination, the $R^2$, is often used to measure the variance explained by an affine combination of multiple explanatory covariates. An attribution of this explanatory contribution to each of the individual covariates is often sought in order to draw inference regarding the importance of each covariate with respect to the response phenomenon. A recent method for ascertaining such an attribution is via the game theoretic Shapley value decomposition of the coefficient of determination. Such a decomposition has the desirable efficiency, monotonicity, and equal treatment properties. Under a weak assumption that the joint distribution is pseudo-elliptical, we obtain the asymptotic normality of the Shapley values. We then utilize this result in order to construct confidence intervals and hypothesis tests regarding such quantities. Monte Carlo studies regarding our results are provided. We found that our asymptotic confidence intervals are computationally superior to competing bootstrap methods and are able to improve upon the performance of such intervals. In an expository application to Australian real estate price modelling, we employ Shapley value confidence intervals to identify significant differences between the explanatory contributions of covariates, between models, which otherwise share approximately the same $R^2$ value. These different models are based on real estate data from the same periods in 2019 and 2020, the latter covering the early stages of the arrival of the novel coronavirus, COVID-19.


title: Distributed Sensing with Orthogonal Multiple Access: To code or not to Code?

abstract: We consider the estimation distortion of a distributed sensing system with finite number of sensor nodes, in which the nodes observe a common phenomenon and transmit their observations to a fusion center over orthogonal channels. In particular, we investigate whether the coded scheme (separate source-channel coding) outperforms the uncoded scheme (joint source-channel coding) or not. To this end, we explicitly derive the estimation distortion of a coded heterogeneous sensing system with diverse node and channel configurations. Based on this result, we show that in a homogeneous sensing system with identical node and channel configurations, the coded scheme outperforms the uncoded scheme if the number of nodes is $K=1$ or $K=2$. For homogenous sensing systems with $K\geq3$ nodes and general heterogeneous sensing systems, we also present explicit conditions for the coded scheme to perform better than the uncoded scheme. Furthermore, we propose to minimize the estimation distortion of heterogeneous sensing systems with hybrid coding, i.e., some nodes use the coded scheme and other nodes use the uncoded scheme. To determine the optimal hybrid coding policy, we develop three greedy algorithms, in which the pure greedy algorithm minimizes distortion greedily, the group greedy algorithm improves performance by using a group of potential sub-polices, and the sorted greedy algorithm reduces computational complexity by using a pre-solved iteration order. Our numerical and Monte Carlo results show that the proposed algorithms closely approach the optimal policy in terms average estimation distortion.


title: Developing Multi-Task Recommendations with Long-Term Rewards via Policy Distilled Reinforcement Learning

abstract: With the explosive growth of online products and content, recommendation techniques have been considered as an effective tool to overcome information overload, improve user experience, and boost business revenue. In recent years, we have observed a new desideratum of considering long-term rewards of multiple related recommendation tasks simultaneously. The consideration of long-term rewards is strongly tied to business revenue and growth. Learning multiple tasks simultaneously could generally improve the performance of individual task due to knowledge sharing in multi-task learning. While a few existing works have studied long-term rewards in recommendations, they mainly focus on a single recommendation task. In this paper, we propose {\it PoDiRe}: a \underline{po}licy \underline{di}stilled \underline{re}commender that can address long-term rewards of recommendations and simultaneously handle multiple recommendation tasks. This novel recommendation solution is based on a marriage of deep reinforcement learning and knowledge distillation techniques, which is able to establish knowledge sharing among different tasks and reduce the size of a learning model. The resulting model is expected to attain better performance and lower response latency for real-time recommendation services. In collaboration with Samsung Game Launcher, one of the world's largest commercial mobile game platforms, we conduct a comprehensive experimental study on large-scale real data with hundreds of millions of events and show that our solution outperforms many state-of-the-art methods in terms of several standard evaluation metrics.


title: Measurements-Based Channel Models for Indoor LiFi Systems

abstract: Light-fidelity (LiFi) is a fully-networked bidirectional optical wireless communication (OWC) that is considered a promising solution for high-speed indoor connectivity. Unlike in conventional radio frequency wireless systems, the OWC channel is not isotropic, meaning that the device orientation affects the channel gain significantly. However, due to the lack of proper channel models for LiFi systems, many studies have assumed that the receiver is vertically upward and randomly located within the coverage area, which is not a realistic assumption from a practical point of view. In this paper, novel realistic and measurement-based channel models for indoor LiFi systems are proposed. Precisely, the statistics of the channel gain are derived for the case of randomly oriented stationary and mobile LiFi receivers. For stationary users, two channel models are proposed, namely, the modified truncated Laplace (MTL) model and the modified Beta (MB) model. For LiFi users, two channel models are proposed, namely, the sum of modified truncated Gaussian (SMTG) model and the sum of modified Beta (SMB) model. Based on the derived models, the impact of random orientation and spatial distribution of LiFi users is investigated, where we show that the aforementioned factors can strongly affect the channel gain and system performance.


title: On finite totally 2-closed groups

abstract: An abstract group $G$ is called totally $2$-closed if $H=H^{(2),\Omega}$ for any set $\Omega$ with $G\cong H\leq{\rm Sym}(\Omega)$, where $H^{(2),\Omega}$ is the largest subgroup of ${\rm Sym}(\Omega)$ whose orbits on $\Omega\times\Omega$ are the same orbits of $H$. In this paper, we classify the finite soluble totally $2$-closed groups. We also prove that the Fitting subgroup of a totally $2$-closed group is a totally $2$-closed group. Finally, we prove that a finite insoluble totally $2$-closed group $G$ of minimal order with non-trivial Fitting subgroup has shape $Z\cdot X$, with $Z=Z(G)$ cyclic, and $X$ is a finite group with a unique minimal normal subgroup, which is nonabelian.


title: FakeLocator: Robust Localization of GAN-Based Face Manipulations

abstract: Full face synthesis and partial face manipulation by virtue of the generative adversarial networks (GANs) and its variants have raised wide public concerns. In the multi-media forensics area, detecting and ultimately locating the image forgery has become an imperative task. In this work, we investigate the architecture of existing GAN-based face manipulation methods and observe that the imperfection of upsampling methods therewithin could be served as an important asset for GAN-synthesized fake image detection and forgery localization. Based on this basic observation, we have proposed a novel approach, termed FakeLocator, to obtain high localization accuracy, at full resolution, on manipulated facial images. To the best of our knowledge, this is the very first attempt to solve the GAN-based fake localization problem with a gray-scale fakeness map that preserves more information of fake regions. To improve the universality of FakeLocator across multifarious facial attributes, we introduce an attention mechanism to guide the training of the model. To improve the universality of FakeLocator across different DeepFake methods, we propose partial data augmentation and single sample clustering on the training images. Experimental results on popular FaceForensics++, DFFD datasets and seven different state-of-the-art GAN-based face generation methods have shown the effectiveness of our method. Compared with the baselines, our method performs better on various metrics. Moreover, the proposed method is robust against various real-world facial image degradations such as JPEG compression, low-resolution, noise, and blur.


title: Achieving Multi-Port Memory Performance on Single-Port Memory with Coding Techniques

abstract: Many performance critical systems today must rely on performance enhancements, such as multi-port memories, to keep up with the increasing demand of memory-access capacity. However, the large area footprints and complexity of existing multi-port memory designs limit their applicability. This paper explores a coding theoretic framework to address this problem. In particular, this paper introduces a framework to encode data across multiple single-port memory banks in order to {\em algorithmically} realize the functionality of multi-port memory. This paper proposes three code designs with significantly less storage overhead compared to the existing replication based emulations of multi-port memories. To further improve performance, we also demonstrate a memory controller design that utilizes redundancy across coded memory banks to more efficiently schedule read and write requests sent across multiple cores. Furthermore, guided by DRAM traces, the paper explores {\em dynamic coding} techniques to improve the efficiency of the coding based memory design. We then show significant performance improvements in critical word read and write latency in the proposed coded-memory design when compared to a traditional uncoded-memory design.


title: Metastable attractors explain the variable timing of stable behavioral action sequences

abstract: Natural animal behavior displays rich lexical and temporal dynamics, even in a stable environment. This implies that behavioral variability arises from sources within the brain, but the origin and mechanics of these processes remain largely unknown. Here, we focus on the observation that the timing of self-initiated actions shows large variability even when they are executed in stable, well-learned sequences. Could this mix of reliability and stochasticity arise within the same circuit? We trained rats to perform a stereotyped sequence of self-initiated actions and recorded neural ensemble activity in secondary motor cortex (M2), which is known to reflect trial-by-trial action timing fluctuations. Using hidden Markov models we established a robust and accurate dictionary between ensemble activity patterns and actions. We then showed that metastable attractors, representing activity patterns with the requisite combination of reliable sequential structure and high transition timing variability, could be produced by reciprocally coupling a high dimensional recurrent network and a low dimensional feedforward one. Transitions between attractors were generated by correlated variability arising from the feedback loop between the two networks. This mechanism predicted a specific structure of low-dimensional noise correlations that were empirically verified in M2 ensemble dynamics. This work suggests a robust network motif as a novel mechanism to support critical aspects of animal behavior and establishes a framework for investigating its circuit origins via correlated variability.


title: On Continuous-Time Infinite Horizon Optimal Control -- Dissipativity, Stability and Transversality

abstract: This paper analyses the interplay between dissipativity and stability properties in continuous-time infinite-horizon Optimal Control Problems (OCPs). We establish several relations between these properties, which culminate in a set of equivalence conditions. Moreover, we investigate convergence and stability of the infinite-horizon optimal adjoint trajectories. The workhorse for our investigations is a notion of strict dissipativity in OCPs, which has been coined in the context of economic model predictive control. With respect to the link between stability and dissipativity, the present paper can be seen as an extension of the seminal work on least squares optimal control by Willems from 1971. Furthermore, we show that strict dissipativity provides a conclusive answer to the question of adjoint transversality conditions in infinite-horizon optimal control which has been raised by Halkin in 1974. Put differently, we establish conditions under which the adjoints converge to their optimal steady state value. We draw upon several examples to illustrate our findings. Moreover, we discuss the relation of our findings to results available in the literature.


title: Bayesian Shrinkage Estimation of Negative Multinomial Parameter Vectors

abstract: The negative multinomial distribution is a multivariate generalization of the negative binomial distribution. In this paper, we consider the problem of estimating an unknown matrix of probabilities on the basis of observations of negative multinomial variables under the standardized squared error loss. First, a general sufficient condition for a shrinkage estimator to dominate the UMVU estimator is derived and an empirical Bayes estimator satisfying the condition is constructed. Next, a hierarchical shrinkage prior is introduced, an associated Bayes estimator is shown to dominate the UMVU estimator under some conditions, and some remarks about posterior computation are presented. Finally, shrinkage estimators and the UMVU estimator are compared by simulation.


title: Notes on polytopes, amplitudes and boundary configurations for Grassmannian string integrals

abstract: We continue the study of positive geometries underlying the {\it Grassmannian string integrals}, which are a class of "stringy canonical forms", or stringy integrals, over the positive Grassmannian mod torus action, $G_+(k,n)/T$. The leading order of any such stringy integral is given by the canonical function of a polytope, which can be obtained using the Minkowski sum of the Newton polytopes for the regulators of the integral, or equivalently given by the so-called scattering-equation map. The canonical function of the polytopes for Grassmannian string integrals, or the volume of their dual polytopes, is also known as the generalized bi-adjoint $\phi^3$ amplitudes. We compute all the linear functions for the facets which cut out the polytope for all cases up to $n=9$, with up to k=4 and their parity conjugate cases. The main novelty of our computation is that we present these facets in a manifestly gauge-invariant and cyclic way, and identify the boundary configurations of $G_+(k,n)/T$ corresponding to these facets, which have nice geometric interpretations in terms of $n$ points in $(k{-}1)$-dimensional space. All the facets and configurations we discovered up to $n=9$ directly generalize to all $n$, although new types are still needed for higher $n$.


title: Factors Influencing Perceived Fairness in Algorithmic Decision-Making: Algorithm Outcomes, Development Procedures, and Individual Differences

abstract: Algorithmic decision-making systems are increasingly used throughout the public and private sectors to make important decisions or assist humans in making these decisions with real social consequences. While there has been substantial research in recent years to build fair decision-making algorithms, there has been less research seeking to understand the factors that affect people's perceptions of fairness in these systems, which we argue is also important for their broader acceptance. In this research, we conduct an online experiment to better understand perceptions of fairness, focusing on three sets of factors: algorithm outcomes, algorithm development and deployment procedures, and individual differences. We find that people rate the algorithm as more fair when the algorithm predicts in their favor, even surpassing the negative effects of describing algorithms that are very biased against particular demographic groups. We find that this effect is moderated by several variables, including participants' education level, gender, and several aspects of the development procedure. Our findings suggest that systems that evaluate algorithmic fairness through users' feedback must consider the possibility of outcome favorability bias.


title: Mid IR single-cycle light bullet self-reconstruction after an air gap under single-pulse femtosecond filamentation in LiF

abstract: The results of investigation of extremely compressed wave packet-light bullet (LB) penetration through an air gap under single-pulse femtosecond Mid IR filamentation in LiF are presented. It is revealed by the laser coloration method and from numerical simulations that a single-cycle LB, which was formed before an air gap up to 0.5 mm width, completely recovered after passing some distance in LiF after the gap. This distance increases nonlinearly with the gap width and LB pathway before the gap. LB in the air gap has a strongly convergent wave front with focusing radius of 20-100 {\mu}m and its divergence after the waist is considerably less than that of Gaussian beam.


title: Integral representation of the Mittag-Leffler function

abstract: Generalization of the integral representation of the gamma function has been obtained, which shows that the Hankel contour assumes rotation in the complex plane. The range of admissible values for the contour rotation angle is set. Using this integral representation, generalization of the integral representation of the Mittag-Leffler function has been obtained that expresses the value of this function in terms of the contour integral.


title: Fast Algorithm for computing a matrix transform used to detect trends in noisy data

abstract: A recently discovered universal rank-based matrix method to extract trends from noisy time series is described in [1] but the formula for the output matrix elements, implemented there as an open-access supplement MATLAB computer code, is ${\cal O}(N^4)$, with $N$ the matrix dimension. This can become prohibitively large for time series with hundreds of sample points or more. Based on recurrence relations, here we derive a much faster ${\cal O}(N^2)$ algorithm and provide code implementations in MATLAB and in open-source JULIA. In some cases one has the output matrix and needs to solve an inverse problem to obtain the input matrix. A fast algorithm and code for this companion problem, also based on the above recurrence relations, are given. Finally, in the narrower, but common, domains of (i) trend detection and (ii) parameter estimation of a linear trend, users require, not the individual matrix elements, but simply their accumulated mean value. For this latter case we provide a yet faster ${\cal O}(N)$ heuristic approximation that relies on a series of rank one matrices. These algorithms are illustrated on a time series of high energy cosmic rays with $N > 4 \times 10^4$. [1] Universal Rank-Order Transform to Extract Signals from Noisy Data, Glenn Ierley and Alex Kostinski, Phys. Rev. X 9 031039 (2019).


title: Some Insights into Lifelong Reinforcement Learning Systems

abstract: A lifelong reinforcement learning system is a learning system that has the ability to learn through trail-and-error interaction with the environment over its lifetime. In this paper, I give some arguments to show that the traditional reinforcement learning paradigm fails to model this type of learning system. Some insights into lifelong reinforcement learning are provided, along with a simplistic prototype lifelong reinforcement learning system.


title: On dual molecules and convolution-dominated operators

abstract: We show that sampling or interpolation formulas in reproducing kernel Hilbert spaces can be obtained by reproducing kernels whose dual systems form molecules, ensuring that the size profile of a function is fully reflected by the size profile of its sampled values. The main tool is a local holomorphic calculus for convolution-dominated operators, valid for groups with possibly non-polynomial growth. Applied to the matrix coefficients of a group representation, our methods improve on classical results on atomic decompositions and bridge a gap between abstract and concrete methods.


title: Practical Fast Gradient Sign Attack against Mammographic Image Classifier

abstract: Artificial intelligence (AI) has been a topic of major research for many years. Especially, with the emergence of deep neural network (DNN), these studies have been tremendously successful. Today machines are capable of making faster, more accurate decision than human. Thanks to the great development of machine learning (ML) techniques, ML have been used many different fields such as education, medicine, malware detection, autonomous car etc. In spite of having this degree of interest and much successful research, ML models are still vulnerable to adversarial attacks. Attackers can manipulate clean data in order to fool the ML classifiers to achieve their desire target. For instance; a benign sample can be modified as a malicious sample or a malicious one can be altered as benign while this modification can not be recognized by human observer. This can lead to many financial losses, or serious injuries, even deaths. The motivation behind this paper is that we emphasize this issue and want to raise awareness. Therefore, the security gap of mammographic image classifier against adversarial attack is demonstrated. We use mamographic images to train our model then evaluate our model performance in terms of accuracy. Later on, we poison original dataset and generate adversarial samples that missclassified by the model. We then using structural similarity index (SSIM) analyze similarity between clean images and adversarial images. Finally, we show how successful we are to misuse by using different poisoning factors.


title: Traffic Equations for Fluid Networks with Overflows

abstract: Many real life queueing networks have finite buffers with overflows. To understand the behavior of such networks, we consider traffic equations that generalize the traffic equations of classic open queueing networks where some nodes are potentially overloaded. We present a novel, efficient algorithm for solving the equations for overflow networks together with a sufficient condition for existence and uniqueness of solutions. Our analysis also sharpens results of traffic equations for classic open queueing networks.


title: Optimization of Passive Chip Components Placement with Self-Alignment Effect for Advanced Surface Mounting Technology

abstract: Surface mount technology (SMT) is an enhanced method in electronic packaging in which electronic components are placed directly on soldered printing circuit board (PCB) and are permanently attached on PCB with the aim of reflow soldering process. During reflow process, once deposited solder pastes start melting, electronic components move in a direction that achieve their highest symmetry. This motion is known as self-alignment since can correct potential mounting misalignment. In this study, two noticeable machine learning algorithms, including support vector regression (SVR) and random forest regression (RFR) are proposed as a prediction technique to (1) diagnose the relation among component self-alignment, deposited solder paste status and placement machining parameters, (2) predict the final component position on PCB in x, y, and rotational directions before entering in the reflow process. Based on the prediction result, a non-linear optimization model (NLP) is developed to optimize placement parameters at initial stage. Resultantly, RFR outperforms in terms of prediction model fitness and error. The optimization model is run for 6 samples in which the minimum Euclidean distance from component position after reflow process from ideal position (i.e., the center of pads) is outlined as 25.57 ({\mu}m) regarding defined boundaries in model.


title: Note on the parametrized black hole quasinormal ringdown formalism

abstract: The parametrized black hole quasinormal ringdown formalism is useful to compute quasinormal mode (QNM) frequencies if a master equation for the gravitational perturbation around a black hole has a small deviation from the Regge-Wheeler or Zerilli equation. In this formalism, the deviation of QNM frequency from general relativity can be calculated by small deviation parameters and model independent coefficients. In this paper, we derive recursion relations for the model independent coefficients. Using these relations, the higher order coefficients are written only by the lower order coefficients. Thus, we only need the lower order coefficients when we numerically compute the model independent coefficients.


title: Convolution Neural Network Architecture Learning for Remote Sensing Scene Classification

abstract: Remote sensing image scene classification is a fundamental but challenging task in understanding remote sensing images. Recently, deep learning-based methods, especially convolutional neural network-based (CNN-based) methods have shown enormous potential to understand remote sensing images. CNN-based methods meet with success by utilizing features learned from data rather than features designed manually. The feature-learning procedure of CNN largely depends on the architecture of CNN. However, most of the architectures of CNN used for remote sensing scene classification are still designed by hand which demands a considerable amount of architecture engineering skills and domain knowledge, and it may not play CNN's maximum potential on a special dataset. In this paper, we proposed an automatically architecture learning procedure for remote sensing scene classification. We designed a parameters space in which every set of parameters represents a certain architecture of CNN (i.e., some parameters represent the type of operators used in the architecture such as convolution, pooling, no connection or identity, and the others represent the way how these operators connect). To discover the optimal set of parameters for a given dataset, we introduced a learning strategy which can allow efficient search in the architecture space by means of gradient descent. An architecture generator finally maps the set of parameters into the CNN used in our experiments.


title: Alignment induced re-configurable walls for patterning and assembly of liquid crystal skyrmions

abstract: Skyrmions have attracted rapidly growing interest due to their topological properties and unique aspects for potential novel applications such as data storage and soft robotics. They can also serve as key elements for materials by design, self-assembly, and functional soft materials. While not real particles, these skyrmions behave like particles-they interact with each other and can be actuated by means of electric field, surface anchoring, and light. On the other hand, they are field configurations which have properties not possessed by real particles. Here, we show that, by means of alignment induced attractive and repulsive walls, skyrmions in chiral nematic liquid crystals can be precisely controlled and programmed to serve as suitable building blocks for the realization of the above goals. Our work may stimulate new experimental efforts and concomitant applications in this direction.


title: Dirichlet-type spaces on the unit ball and joint 2-isometries

abstract: We obtain a formula that relates the spherical moments of the multiplication tuple on a Dirichlet-type space to a complex moment problem in several variables. This can be seen as the ball-analogue of a formula originally invented by Richter. We capitalize on this formula to study Dirichlet-type spaces on the unit ball and joint $2$-isometries.


title: A brief survey on the generalized Lebesgue-Ramanujan-Nagell equation

abstract: The generalized Lebesgue-Ramanujan-Nagell equation is an important type of polynomial-exponential Diophantine equation in number theory. In this survey, the recent results and some unsolved problems of this equation are given.


title: Assessment of supervised machine learning methods for fluid flows

abstract: We apply supervised machine learning techniques to a number of regression problems in fluid dynamics. Four machine learning architectures are examined in terms of their characteristics, accuracy, computational cost, and robustness for canonical flow problems. We consider the estimation of force coefficients and wakes from a limited number of sensors on the surface for flows over a cylinder and NACA0012 airfoil with a Gurney flap. The influence of the temporal density of the training data is also examined. Furthermore, we consider the use of convolutional neural network in the context of super-resolution analysis of two-dimensional cylinder wake, two-dimensional decaying isotropic turbulence, and three-dimensional turbulent channel flow. In the concluding remarks, we summarize on findings from a range of regression type problems considered herein.


title: Data-Driven Prediction Model of Components Shift during Reflow Process in Surface Mount Technology

abstract: In surface mount technology (SMT), mounted components on soldered pads are subject to move during reflow process. This capability is known as self-alignment and is the result of fluid dynamic behaviour of molten solder paste. This capability is critical in SMT because inaccurate self-alignment causes defects such as overhanging, tombstoning, etc. while on the other side, it can enable components to be perfectly self-assembled on or near the desire position. The aim of this study is to develop a machine learning model that predicts the components movement during reflow in x and y-directions as well as rotation. Our study is composed of two steps: (1) experimental data are studied to reveal the relationships between self-alignment and various factors including component geometry, pad geometry, etc. (2) advanced machine learning prediction models are applied to predict the distance and the direction of components shift using support vector regression (SVR), neural network (NN), and random forest regression (RFR). As a result, RFR can predict components shift with the average fitness of 99%, 99%, and 96% and with average prediction error of 13.47 (um), 12.02 (um), and 1.52 (deg.) for component shift in x, y, and rotational directions, respectively. This enhancement provides the future capability of the parameters' optimization in the pick and placement machine to control the best placement location and minimize the intrinsic defects caused by the self-alignment.


title: Exploring the $e^+e^-\to \Lambda_c^+\Lambda_c^-$ cross sections

abstract: A simultaneous fit is performed to the $e^+e^-\to \Lambda_c^+\Lambda_c^-$ cross section data measured by Belle and BESIII from threshold up to 5.4 GeV. In order to accommodate both the BESIII measurement near threshold and the Belle observation of a resonance $Y(4630)$, we build a composite PDF with a Breit-Wigner resonance and a continuum contribution to model the full cross section line shape of $e^+e^-\to \Lambda_c^+\Lambda_c^-$. The fit gives a mass of $M=[4636.1_{-7.2}^{+9.8} ($stat$)\pm 8.0($syst$)]$~MeV/$c^2$, a width of $\Gamma_{\rm tot}=[34.5_{-16.2}^{+21.0} ($stat$)\pm 5.6($syst$)]$~MeV, and $\Gamma_{e^+ e^-}\mathcal{B}[Y(4630)\to\Lambda_c^+\Lambda_c^-]=[18.3_{-6.1}^{+8.8} ($stat$)\pm 1.1($syst$)]$~eV/$c^2$ for the resonance. The width of $Y(4630)$ from our study is narrower than the previous Belle fit. The mass and width of $Y(4630)$ also show good agreement with a vector resonance $Y(4626)$ recently observed in $D_s^+D_{s1}(2536)^-$ by Belle.


title: Deep Graph Matching Consensus

abstract: This work presents a two-stage neural architecture for learning and refining structural correspondences between graphs. First, we use localized node embeddings computed by a graph neural network to obtain an initial ranking of soft correspondences between nodes. Secondly, we employ synchronous message passing networks to iteratively re-rank the soft correspondences to reach a matching consensus in local neighborhoods between graphs. We show, theoretically and empirically, that our message passing scheme computes a well-founded measure of consensus for corresponding neighborhoods, which is then used to guide the iterative re-ranking process. Our purely local and sparsity-aware architecture scales well to large, real-world inputs while still being able to recover global correspondences consistently. We demonstrate the practical effectiveness of our method on real-world tasks from the fields of computer vision and entity alignment between knowledge graphs, on which we improve upon the current state-of-the-art. Our source code is available under https://github.com/rusty1s/ deep-graph-matching-consensus.


title: The Generalized Hypergeometric Structure of the Ward Identities of CFT's in Momentum Space in $d > 2$

abstract: We review the emergence of hypergeometric structures (of $F_4$ Appell functions) from the conformal Ward identities (CWIs) in conformal field theories (CFTs) in dimensions $d > 2$. We illustrate the case of scalar 3- and 4-point functions. 3-point functions are associated to hypergeometric systems with 4 independent solutions. For symmetric correlators they can be expressed in terms of a single 3K integral - functions of quadratic ratios of momenta - which is a parametric integral of three modified Bessel $K$ functions. In the case of scalar 4-point functions, by requiring the correlator to be conformal invariant in coordinate space as well as in some dual variables (i.e. dual conformal invariant), its explicit expression is also given by a 3K integral, or as a linear combination of Appell functions which are now quartic ratios of momenta. Similar expressions have been obtained in the past in the computation of an infinite class of planar ladder (Feynman) diagrams in perturbation theory, which, however, do not share the same (dual conformal/conformal) symmetry of our solutions. We then discuss some hypergeometric functions of 3 variables, which define 8 particular solutions of the CWIs and correspond to Lauricella functions. They can also be combined in terms of 4K integral and appear in an asymptotic description of the scalar 4-point function, in special kinematical limits.


title: Variance Reduction with Sparse Gradients

abstract: Variance reduction methods such as SVRG and SpiderBoost use a mixture of large and small batch gradients to reduce the variance of stochastic gradients. Compared to SGD, these methods require at least double the number of operations per update to model parameters. To reduce the computational cost of these methods, we introduce a new sparsity operator: The random-top-k operator. Our operator reduces computational complexity by estimating gradient sparsity exhibited in a variety of applications by combining the top-k operator and the randomized coordinate descent operator. With this operator, large batch gradients offer an extra benefit beyond variance reduction: A reliable estimate of gradient sparsity. Theoretically, our algorithm is at least as good as the best algorithm (SpiderBoost), and further excels in performance whenever the random-top-k operator captures gradient sparsity. Empirically, our algorithm consistently outperforms SpiderBoost using various models on various tasks including image classification, natural language processing, and sparse matrix factorization. We also provide empirical evidence to support the intuition behind our algorithm via a simple gradient entropy computation, which serves to quantify gradient sparsity at every iteration.


title: SecEL: Privacy-Preserving, Verifiable and Fault-Tolerant Edge Learning for Autonomous Vehicles

abstract: Mobile edge computing (MEC) is an emerging technology to transform the cloud-based computing services into the edge-based ones. Autonomous vehicular network (AVNET), as one of the most promising applications of MEC, can feature edge learning and communication techniques, improving the safety for autonomous vehicles (AVs). This paper focuses on the edge learning in AVNET, where AVs at the edge of the network share model parameters instead of data in a distributed manner, and an aggregator (e.g., a base station) aggregates parameters from AVs and at the end obtains a trained model. Despite promising, security issues, such as data leakage, computing integrity invasion and fault connection in existing edge learning cases are not considered fully. To the best of our knowledge, there lacks an effective scheme simultaneously covering the foregoing security issues. Therefore, we propose \textit{SecEL}, a privacy-preserving, verifiable and fault-tolerant scheme for edge learning in AVNET. First, we leverage the primitive of bivariate polynomial-based secret sharing to encrypt model parameters by one-time padding. Second, we use homomorphic authenticator based on message authentication code to support verifiable computation. Third, we mitigate the computation failure problem caused by fault connection. Last, we simulate and evaluate SecEL in terms of time cost, throughput and classification accuracy. The experiment results demonstrate the effectiveness of SecEL.


title: Towards a new classification of bursting patterns: review & extensions

abstract: The mathematical classification of complex bursting oscillations in multiscale excitable systems, seen for example in physics and neuroscience, has been the subject of active enquiry since the early 1980s. This classification problem is fundamental as it also establishes analytical and numerical foundations for studying complex temporal behaviours in multiple timescale models. This manuscript begins by reviewing the seminal works of Rinzel and Izhikevich in classifying bursting patterns of excitable cell models. Moreover, we recall an alternative, yet complementary, mathematical classification approach by Golubitsky, which together with the Rinzel-Izhikevich proposals provide the state-of-the-art foundations to the classification problem. Unexpectedly, while keeping within the Rinzel-Izhikevich framework, we find novel cases of bursting mechanisms not considered before. Moving beyond the state-of-the-art, we identify novel bursting mechanisms that fall outside the current classifications. This leads us towards a new classification, which requires the analysis of both the fast and the slow subsystems of an underlying slow-fast model. This new classification allows the dynamical dissection of a larger class of bursters. To substantiate this, we add a new class of bursters with at least two slow variables, which we denote folded-node bursters, to convey the idea that the bursts are initiated or annihilated via a folded-node singularity. In fact, there are two main families of folded-node bursters, depending upon the phase of the bursting cycle during which folded-node dynamics occurs. If it occurs during the silent phase, we obtain the classical folded-node bursting (or simply folded-node bursting). If it occurs during the active phase, we have cyclic folded-node bursting. We classify both families and give examples of minimal systems displaying these novel types of bursting behaviour.


title: A domain decomposition method for Isogeometric multi-patch problems with inexact local solvers

abstract: In Isogeometric Analysis, the computational domain is often described as multi-patch, where each patch is given by a tensor product spline/NURBS parametrization. In this work we propose a FETI-like solver where local inexact solvers exploit the tensor product structure at the patch level. To this purpose, we extend to the isogeometric framework the so-called All-Floating variant of FETI, that allows us to use the Fast Diagonalization method at the patch level. We construct then a preconditioner for the whole system and prove its robustness with respect to the local mesh-size $h$ and patch-size $H$ (i.e., we have scalability). Our numerical tests confirm the theory and also show a favourable dependence of the computational cost of the method from the spline degree $p$.


title: Correspondence between isoscalar monopole strengths and $\alpha$ inelastic cross sections on $^{24}$Mg

abstract: The correspondence between the isoscalar monopole (IS0) transition strengths and $\alpha$ inelastic cross sections, the $B({\rm IS0})$-$(\alpha,\alpha')$ correspondence, is investigated for $^{24}$Mg($\alpha,\alpha'$) at 130 and 386 MeV. We adopt a microscopic coupled-channel reaction framework to link structural inputs, diagonal and transition densities, for $^{24}$Mg obtained with antisymmetrized molecular dynamics to the ($\alpha,\alpha'$) cross sections. We aim at clarifying how the $B({\rm IS0})$-$(\alpha,\alpha')$ correspondence is affected by the nuclear distortion, the in-medium modification to the nucleon-nucleon effective interaction in the scattering process, and the coupled-channels effect. It is found that these effects are significant and the explanation of the $B({\rm IS0})$-$(\alpha,\alpha')$ correspondence in the plane wave limit with the long-wavelength approximation, which is often used, makes no sense. Nevertheless, the $B({\rm IS0})$-$(\alpha,\alpha')$ correspondence tends to remain because of a strong constraint on the transition densities between the ground state and the $0^+$ excited states. The correspondence is found to hold at 386 MeV with an error of about 20%-30%, while it is seriously stained at 130 MeV mainly by the strong nuclear distortion. It is also found that when a $0^+$ state that has a different structure from a simple $\alpha$ cluster state is considered, the $B({\rm IS0})$-$(\alpha,\alpha')$ correspondence becomes less valid. For a quantitative discussion on the $\alpha$ clustering in $0^+$ excited states of nuclei, a microscopic description of both the structure and reaction parts will be necessary.


title: S.L.L.N. and C.L.T. for Random Walks in I.I.D. Random Environment on Cayley Trees

abstract: We consider the random walk in an independent and identically distributed (i.i.d.) random environment on a Cayley graph of a finite free product of copies of $\mathbb{Z}$ and $\mathbb{Z}_2$. Such a Cayley graph is readily seen to be a regular tree. Under a uniform elipticity assumption on the i.i.d. environment we show that the walk has positive speed and establish the annealed central limit theorem for the graph distance of the walker from the starting point.


title: Optimal architecture for diamond-based wide-field thermal imaging

abstract: Nitrogen-Vacancy centers in diamond possess an electronic spin resonance that strongly depends on temperature, which makes them efficient temperature sensor with a sensitivity down to a few mK/$\sqrt{\rm Hz}$. However, the high thermal conductivity of the host diamond may strongly damp any temperature variations, leading to invasive measurements when probing local temperature distributions. In view of determining possible and optimal configurations for diamond-based wide-field thermal imaging, we here investigate, both experimentally and numerically, the effect of the presence of diamond on microscale temperature distributions. Three geometrical configurations are studied: a bulk diamond substrate, a thin diamond layer bonded on quartz and diamond nanoparticles dispersed on quartz. We show that the use of bulk diamond substrates for thermal imaging is highly invasive, in the sense that it prevents any substantial temperature increase. Conversely, thin diamond layers partly solve this issue and could provide a possible alternative for microscale thermal imaging. Dispersions of diamond nanoparticles throughout the sample appear as the most relevant approach as they do not affect the temperature distribution, although NV centers in nanodiamonds yield lower temperature sensitivities compared to bulk diamond.


title: Ammonia: An Approach for Deriving Project-specific Bug Patterns

abstract: Finding and fixing buggy code is an important and cost-intensive maintenance task, and static analysis (SA) is one of the methods developers use to perform it. SA tools warn developers about potential bugs by scanning their source code for commonly occurring bug patterns, thus giving those developers opportunities to fix the warnings (potential bugs) before they release the software. Typically, SA tools scan for general bug patterns that are common to any software project (such as null pointer dereference), and not for project specific patterns. However, past research has pointed to this lack of customizability as a severe limiting issue in SA. Accordingly, in this paper, we propose an approach called Ammonia, which is based on statically analyzing changes across the development history of a project, as a means to identify project-specific bug patterns. Furthermore, the bug patterns identified by our tool do not relate to just one developer or one specific commit, they reflect the project as a whole and compliment the warnings from other SA tools that identify general bug patterns. Herein, we report on the application of our implemented tool and approach to four Java projects: Ant, Camel, POI, and Wicket. The results obtained show that our tool could detect 19 project specific bug patterns across those four projects. Next, through manual analysis, we determined that six of those change patterns were actual bugs and submitted pull requests based on those bug patterns. As a result, five of the pull requests were merged.


title: An Unsupervised Generative Neural Approach for InSAR Phase Filtering and Coherence Estimation

abstract: Phase filtering and pixel quality (coherence) estimation is critical in producing Digital Elevation Models (DEMs) from Interferometric Synthetic Aperture Radar (InSAR) images, as it removes spatial inconsistencies (residues) and immensely improves the subsequent unwrapping. Large amount of InSAR data facilitates Wide Area Monitoring (WAM) over geographical regions. Advances in parallel computing have accelerated Convolutional Neural Networks (CNNs), giving them advantages over human performance on visual pattern recognition, which makes CNNs a good choice for WAM. Nevertheless, this research is largely unexplored. We thus propose "GenInSAR", a CNN-based generative model for joint phase filtering and coherence estimation, that directly learns the InSAR data distribution. GenInSAR's unsupervised training on satellite and simulated noisy InSAR images outperforms other five related methods in total residue reduction (over 16.5% better on average) with less over-smoothing/artefacts around branch cuts. GenInSAR's Phase, and Coherence Root-Mean-Squared-Error and Phase Cosine Error have average improvements of 0.54, 0.07, and 0.05 respectively compared to the related methods.


title: Adaptive Block Compressive Sensing: towards a real-time and low-complexity implementation

abstract: Adaptive block-based compressive sensing (ABCS) algorithms are studied in the context of the practical realization of compressive sensing on resource-constrained image and video sensing platforms that use single-pixel cameras, multi-pixel cameras or focal plane processing sensors. In this paper, we introduce two novel ABCS algorithms that are suitable for compressively sensing images or intra-coded video frames. Both use deterministic 2D-DCT dictionaries when sensing the images instead of random dictionaries. The first uses a low number of compressive measurements to compute the block boundary variation (BBV) around each image block, from which it estimates the number of 2D-DCT transform coefficients to measure from each block. The second uses a low number of DCT domain (DD) measurements to estimate the total number of transform coefficients to capture from each block. The two algorithms permit reconstruction in real time, averaging 8 ms and 26 ms for 256x256 and 512x512 greyscale images, respectively, using a simple inverse 2D-DCT operation without requiring GPU acceleration. Furthermore, we show that an iterative compressive sensing reconstruction algorithm (IDA), inspired by the denoising-based approximate message passing algorithm, can be used as a post-processing, quality enhancement technique. IDA trades off real-time operation to yield performance improvement over state-of-the-art GPU-assisted algorithms of 1.31 dB and 0.0152 in terms of PSNR and SSIM, respectively. It also exceeds the PSNR performance of a state-of-the-art deep neural network by 0.4 dB and SSIM by 0.0126.


title: Inequalities between Partial Domination and Independent Partial Domination in Graphs

abstract: For a graph $G$, a vertex subset $S \subseteq V(G)$ is said to be $K_{k}$-isolating if $G - N_{G}[S]$ does not contain $K_{k}$ as a subgraph. The $K_{k}$-isolation number of $G$, denoted by $\iota_{k}(G)$, is the minimum cardinality of a $K_{k}$-isolating set of $G$. Analogously, $S$ is said to be independent $K_{k}$-isolating if $S$ is a $K_{k}$-isolating set of $G$ and $G[S]$ has no edge. The independent $K_{k}$-isolation number of $G$, denoted by $\iota'_{k}(G)$, is the minimum cardinality of an independent $K_{k}$-isolating set of $G$. Clearly, when $k = 1$, we have $\gamma(G) = \iota_{1}(G)$ and $i(G) = \iota'_{1}(G)$ where $\gamma(G)$ and $i(G)$ are the domination and independent domination numbers. For classic results between $\gamma(G)$ and $i(G)$, in 1978, Allan and Laskar proved that $\gamma(G) = i(G)$ for all $K_{1, 3}$-free graphs and this result was generalized to $K_{1, r}$-free graphs by Bollob$\acute{a}$s and Cockayne in 1979. In 2013, Rad and Volkmann proved that the ratio $i(G)/\gamma(G)$ is at most $\Delta(G)/2$ when $\Delta(G) \in \{3, 4, 5\}$. Further, Furuya et. al. proved that when $\Delta(G) \geq 6$, we have $i(G)/\gamma(G) \leq \Delta(G) - 2\sqrt{\Delta(G)} + 2$. In this paper, for a smallest $K_{k}$-isolating set $S$, we prove that $\iota'_k(G)\le -\frac{\iota_k^2(G)}{\ell} +i_k(G)(\Delta +2)-\ell \Delta$ where $\ell$ is the number of some specific vertices of $S$ such that the union of their closed neighborhoods in $S$ is $S$. We prove that this bound is sharp. A special case of our main theorem implies $\iota'_{k}(G)/\iota_{k}(G) \leq \Delta(G) - 2\sqrt{\Delta(G)} + 2$. Further, we find an inequality between $\iota'_{k}(G)$ and $\iota_{k}(G)$ when $G$ is $K_{1, r}$-free graph. This also generalizes the result of Bollob$\acute{a}$s and Cockayne.


title: Primitive divisors of elliptic divisibility sequences for elliptic curves with j=1728

abstract: Take a rational elliptic curve defined by the equation $y^2=x^3+ax$ in minimal form and consider the sequence $B_n$ of the denominators of the abscissas of the iterate of a non-torsion point; we show that $B_{5m}$ has a primitive divisor for every $m$. Then, we show how to generalize this method to the terms in the form $B_{mp}$ with $p$ a prime congruent to $1$ modulo $4$.


title: Morphisms between two constructions of Witt vectors of non-commutative rings

abstract: Let $A$ be any unital associative, possibly non-commutative ring and let $p$ be a prime number. Let $E(A)$ be the ring of $p$-typical Witt vectors as constructed by Cuntz and Deninger and $W(A)$ be the abelian group constructed by Hesselholt. In arXiv:1708.04065 it was proved that if $ p=2$ and $A$ is non commutative unital torsion free ring then there is no surjective continuous group homomorphism from $W(A) \to HH_0(E(A)): = E(A)/\overline{[E(A),E(A)]}$ which commutes with the Verschiebung operator and the Teichm\"uller map. In this paper we generalise this result to all primes $p$ and simplify the arguments used for $p=2$. We also prove that if $A$ a is non-commutative unital ring then there is no continuous map of sets $HH_0(E(A)) \to W(A)$ which commutes with the ghost maps.


title: Performance Analysis and Comparison of Machine and Deep Learning Algorithms for IoT Data Classification

abstract: In recent years, the growth of Internet of Things (IoT) as an emerging technology has been unbelievable. The number of networkenabled devices in IoT domains is increasing dramatically, leading to the massive production of electronic data. These data contain valuable information which can be used in various areas, such as science, industry, business and even social life. To extract and analyze this information and make IoT systems smart, the only choice is entering artificial intelligence (AI) world and leveraging the power of machine learning and deep learning techniques. This paper evaluates the performance of 11 popular machine and deep learning algorithms for classification task using six IoT-related datasets. These algorithms are compared according to several performance evaluation metrics including precision, recall, f1-score, accuracy, execution time, ROC-AUC score and confusion matrix. A specific experiment is also conducted to assess the convergence speed of developed models. The comprehensive experiments indicated that, considering all performance metrics, Random Forests performed better than other machine learning models, while among deep learning models, ANN and CNN achieved more interesting results.


title: Structural Information Learning Machinery: Learning from Observing, Associating, Optimizing, Decoding, and Abstracting

abstract: In the present paper, we propose the model of {\it structural information learning machines} (SiLeM for short), leading to a mathematical definition of learning by merging the theories of computation and information. Our model shows that the essence of learning is {\it to gain information}, that to gain information is {\it to eliminate uncertainty} embedded in a data space, and that to eliminate uncertainty of a data space can be reduced to an optimization problem, that is, an {\it information optimization problem}, which can be realized by a general {\it encoding tree method}. The principle and criterion of the structural information learning machines are maximization of {\it decoding information} from the data points observed together with the relationships among the data points, and semantical {\it interpretation} of syntactical {\it essential structure}, respectively. A SiLeM machine learns the laws or rules of nature. It observes the data points of real world, builds the {\it connections} among the observed data and constructs a {\it data space}, for which the principle is to choose the way of connections of data points so that the {\it decoding information} of the data space is maximized, finds the {\it encoding tree} of the data space that minimizes the dynamical uncertainty of the data space, in which the encoding tree is hence referred to as a {\it decoder}, due to the fact that it has already eliminated the maximum amount of uncertainty embedded in the data space, interprets the {\it semantics} of the decoder, an encoding tree, to form a {\it knowledge tree}, extracts the {\it remarkable common features} for both semantical and syntactical features of the modules decoded by a decoder to construct {\it trees of abstractions}, providing the foundations for {\it intuitive reasoning} in the learning when new data are observed.


title: Influence of Iron Losses on Switching Dynamics of an Electromagnet from Experiment and Simulation

abstract: The switching behaviour of electromagnets is determined by the inertia of the armature, the stiffness of the return spring and the magnetostatic forces between armature and yoke. For highly dynamic systems, hysteresis and eddy current losses have a slowing effect. In this paper we consider the experimentally observed behaviour of a switching magnet and compare it with simulation results including hysteresis and eddy current losses.


title: The field cooled state of canonical spin-glass revisited

abstract: Canonical spin-glass (SG) is an enigmatic system in condensed matter physics. In spite of the intense activities of last five decades several questions regarding the nature of the SG phase transition and the SG ground state are yet to be resolved completely. In this backdrop we have revisited the field cooled state of canonical spin-glass. We have experimentally studied magnetic response in two canonical spin-glass systems AuMn(1.8%) and AgMn(1.1%), both in the field cooled (FC) as well as zero field cooled (ZFC) state. We show that the well known magnetic memory effect, which clearly established earlier the metastable nature of the ZFC state in SG, is also present in the FC state. The results of our experimental study indicate that the FC state also is a non-equilibrium state, and hence the energy landscape involved is a non-trivial one. This in turn seriously questions the picture of spin-glass transformation as a second order thermodynamic phase transition.


title: Applications of analytic newvectors for $\mathrm{GL}(n)$

abstract: We provide a few natural applications of the analytic newvectors, initiated in \cite{JN} arXiv:1911.01880, to some analytic questions in automorphic forms for $\mathrm{PGL}_n(\mathbb{Z})$ with $n\ge 2$, in the archimedean analytic conductor aspect. We prove an orthogonality result of the Fourier coefficients, a density estimate of the non-tempered forms, an equidistribution result of the Satake parameters with respect to the Sato--Tate measure, and a second moment estimate of the central $L$-values as strong as Lindel\"of on average. We also prove the random matrix prediction about the distribution of the low-lying zeros of automorphic $L$-function in the analytic conductor aspect. The new ideas of the proofs include the use of analytic newvectors to construct an approximate projector on the automorphic spectrum with bounded conductors and a soft local (both at finite and infinite places) analysis of the geometric side of the Kuznetsov trace formula.


title: Neural Autopoiesis: Organizing Self-Boundary by Stimulus Avoidance in Biological and Artificial Neural Networks

abstract: Living organisms must actively maintain themselves in order to continue existing. Autopoiesis is a key concept in the study of living organisms, where the boundaries of the organism is not static by dynamically regulated by the system itself. To study the autonomous regulation of self-boundary, we focus on neural homeodynamic responses to environmental changes using both biological and artificial neural networks. Previous studies showed that embodied cultured neural networks and spiking neural networks with spike-timing dependent plasticity (STDP) learn an action as they avoid stimulation from outside. In this paper, as a result of our experiments using embodied cultured neurons, we find that there is also a second property allowing the network to avoid stimulation: if the agent cannot learn an action to avoid the external stimuli, it tends to decrease the stimulus-evoked spikes, as if to ignore the uncontrollable-input. We also show such a behavior is reproduced by spiking neural networks with asymmetric STDP. We consider that these properties are regarded as autonomous regulation of self and non-self for the network, in which a controllable-neuron is regarded as self, and an uncontrollable-neuron is regarded as non-self. Finally, we introduce neural autopoiesis by proposing the principle of stimulus avoidance.


title: How symmetric is too symmetric for large quantum speedups?

abstract: Suppose a Boolean function $f$ is symmetric under a group action $G$ acting on the $n$ bits of the input. For which $G$ does this mean $f$ does not have an exponential quantum speedup? Is there a characterization of how rich $G$ must be before the function $f$ cannot have enough structure for quantum algorithms to exploit? In this work, we make several steps towards understanding the group actions $G$ which are "quantum intolerant" in this way. We show that sufficiently transitive group actions do not allow a quantum speedup, and that a "well-shuffling" property of group actions -- which happens to be preserved by several natural transformations -- implies a lack of super-polynomial speedups for functions symmetric under the group action. Our techniques are motivated by a recent paper by Chailloux (2018), which deals with the case where $G=S_n$. Our main application is for graph symmetries: we show that any Boolean function $f$ defined on the adjacency matrix of a graph (and symmetric under relabeling the vertices of the graph) has a power $6$ relationship between its randomized and quantum query complexities, even if $f$ is a partial function. In particular, this means no graph property testing problems can have super-polynomial quantum speedups, settling an open problem of Ambainis, Childs, and Liu (2011).


title: Exponentials of non-singular simplicial sets

abstract: A simplicial set is non-singular if the representing map of each non-degenerate simplex is degreewise injective. The simplicial mapping set $X^K$ has $n$-simplices given by the simplicial maps $\Delta[n] \times K \to X$. We prove that $X^K$ is non-singular whenever $X$ is non-singular. It follows that non-singular simplicial sets form a cartesian closed category with all limits and colimits, but it is not a topos.


title: The maximum $k$-colorable subgraph problem and related problems

abstract: The maximum $k$-colorable subgraph (M$k$CS) problem is to find an induced $k$-colorable subgraph with maximum cardinality in a given graph. This paper is an in-depth analysis of the M$k$CS problem that considers various semidefinite programming relaxations including their theoretical and numerical comparisons. To simplify these relaxations we exploit the symmetry arising from permuting the colors, as well as the symmetry of the given graphs when applicable. We also show how to exploit invariance under permutations of the subsets for other partition problems and how to use the M$k$CS problem to derive bounds on the chromatic number of a graph. Our numerical results verify that the proposed relaxations provide strong bounds for the M$k$CS problem, and that those outperform existing bounds for most of the test instances.


title: Load-Balanced Bottleneck Objectives in Process Mapping

abstract: We propose a new problem formulation for graph partitioning that is tailored to the needs of time-critical simulations on modern heterogeneous supercomputers.


title: The Cost of Quantum Locality

abstract: It has been more than 20 years since Deutsch and Hayden demonstrated that quantum systems can be completely described locally -- notwithstanding Bell's theorem. More recently, Raymond-Robichaud proposed two other approaches to the same conclusion. In this paper, all these means of describing quantum systems locally are proved formally equivalent. The cost of such descriptions is then quantified by the dimensionality of their underlining space. The number of degrees of freedom of a single qubit's local description is shown to grow exponentially with the total number of qubits considered as a global system. This apparently unreasonable cost to describe such a small system in a large Universe is nonetheless shown to be expected. Finally, structures that supplement the universal wave function are investigated.


title: Basic Ensembles of Vanilla-Style Deep Learning Models Improve Liver Segmentation From CT Images

abstract: Segmentation of the liver from 3D computer tomography (CT) images is one of the most frequently performed operations in medical image analysis. In the past decade, Deep Learning Models (DMs) have offered significant improvements over previous methods for liver segmentation. The success of DMs is usually owed to the user's expertise in deep learning as well as to intricate training procedures. The need for bespoke expertise limits the reproducibility of empirical studies involving DMs. Today's consensus is that an ensemble of DMs works better than the individual component DMs. In this study we set off to explore the potential of ensembles of publicly available, `vanilla-style' DM segmenters Our ensembles were created from four off-the-shelf DMs: U-Net, Deepmedic, V-Net, and Dense V-Networks. To prevent further overfitting and to keep the overall model simple, we use basic non-trainable ensemble combiners: majority vote, average, product and min/max. Our results with two publicly available data sets (CHAOS and 3Dircadb1) demonstrate that ensembles are significantly better than the individual segmenters on four widely used metrics.


title: Measuring nuclear reaction cross sections to extract information on neutrinoless double beta decay

abstract: Neutrinoless double beta decay (0v\b{eta}\b{eta}) is considered the best potential resource to access the absolute neutrino mass scale. Moreover, if observed, it will signal that neutrinos are their own anti-particles (Majorana particles). Presently, this physics case is one of the most important research "beyond Standard Model" and might guide the way towards a Grand Unified Theory of fundamental interactions. Since the 0v\b{eta}\b{eta} decay process involves nuclei, its analysis necessarily implies nuclear structure issues. In the NURE project, supported by a Starting Grant of the European Research Council (ERC), nuclear reactions of double charge-exchange (DCE) are used as a tool to extract information on the 0v\b{eta}\b{eta} Nuclear Matrix Elements. In DCE reactions and \b{eta}\b{eta} decay indeed the initial and final nuclear states are the same and the transition operators have similar structure. Thus the measurement of the DCE absolute cross-sections can give crucial information on \b{eta}\b{eta} matrix elements. In a wider view, the NUMEN international collaboration plans a major upgrade of the INFN-LNS facilities in the next years in order to increase the experimental production of nuclei of at least two orders of magnitude, thus making feasible a systematic study of all the cases of interest as candidates for 0v\b{eta}\b{eta}.