title: Artificial Graphene: Unconventional Superconductivity in a Honeycomb Superlattice

abstract: Artificial lattices have served as a platform to study the physics of unconventional superconductivity. We study semiconductor artificial graphene -- a honeycomb superlattice imposed on a semiconductor heterostructure -- which hosts the Dirac physics of graphene but with a tunable periodic potential strength and lattice spacing, allowing control of the strength of the electron-electron interactions. We demonstrate a new mechanism for superconductivity due to repulsive interactions which requires a strong lattice potential and a minimum doping away from the Dirac points. The mechanism relies on the Berry phase of the emergent Dirac fermions, which causes oppositely moving electron pairs near the Dirac points to interfere destructively, reducing the Coulomb repulsion and thereby giving rise to an effective attraction. The attractive component of the interaction is enhanced by a novel antiscreening effect which, in turn, increases with doping; as a result there is a minimum doping beyond which superconducting order generically ensues. The dominant superconducting state exhibits a spatially modulated gap with chiral $p$-wave symmetry. Microscopic calculations suggest that the possible critical temperatures are large relative to the low carrier densities, for a range of experimentally realistic parameters.

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


title: The maximum accretion rate of hot gas in dark matter halos

abstract: We revisit the question of 'hot mode' versus 'cold mode' accretion onto galaxies using steady-state cooling flow solutions and idealized 3D hydrodynamic simulations. We demonstrate that for the hot accretion mode to exist, the cooling time is required to be longer than the free-fall time near the radius where the gas is rotationally-supported, R_circ, i.e. the existence of the hot mode depends on physical conditions at the galaxy scale rather than on physical conditions at the halo scale. When allowing for the depletion of the halo baryon fraction relative to the cosmic mean, the longer cooling times imply that a virialized gaseous halo may form in halo masses below the threshold of ~10^12 M_sun derived for baryon-complete halos. We show that for any halo mass there is a maximum accretion rate for which the gas is virialized throughout the halo and can accrete via the hot mode of Mdot_crit ~ 0.7(v_c/100 km/s)^5.4 (R_circ / 10 kpc) (Z/Z_sun)^-0.9 M_sun / yr, where Z and v_c are the metallicity and circular velocity measured at R_circ. For accretion rates >~Mdot_crit the volume-filling gas phase can in principle be `transonic' -- virialized in the outer halo but cool and free-falling near the galaxy. We compare Mdot_crit to the average star formation rate (SFR) in halos at 0<z<10 implied by the stellar-mass halo-mass relation. For a plausible metallicity evolution with redshift, we find that SFR <~ Mdot_crit at most masses and redshifts, suggesting that the SFR of galaxies could be primarily sustained by the hot mode in halo masses well below the classic threshold of ~10^12 M_sun.


title: Theory of Dipole Insulators

abstract: Insulating systems are characterized by their insensitivity to twisted boundary conditions as quantified by the charge stiffness and charge localization length. The latter quantity was shown to be related to the expectation value of the many-body position operator and serves as a universal criterion to distinguish between metals and insulators. In this work we extend these concepts to a new class of quantum systems having conserved charge and dipole moments. We refine the concept of a charge insulator by introducing notions of multipolar insulators, e.g., a charge insulator could be a dipole insulator or dipole metal. We develop a universal criterion to distinguish between these phases by extending the concept of charge stiffness and localization to analogous versions for multipole moments, but with our focus on dipoles. We are able relate the dipole localization scale to the expectation value of a recently introduced many-body quadrupole operator. This refined structure allows for the identification of phase transitions where charge remains localized but, e.g., dipoles delocalize. We illustrate the proposed criterion using several exactly solvable models that exemplify these concepts, and discuss a possible realization in cold-atom systems.


title: Embedding globular clusters in dark matter minihalos solves the cusp-core and timing problems in the Fornax dwarf galaxy

abstract: We use a fully GPU $N$-body code to demonstrate that dark matter minihalos, as a new component of globular clusters, resolve both the timing and cusp-core problems in Fornax if the five (or six) globular clusters were recently accreted ($\leq$ 3 Gyr ago) by Fornax. Under these assumptions, infall of these globular clusters does not occur and no star clusters form in the centre of Fornax in accordance with observations. We find that crossings of globular clusters that have DM minihalos near the Fornax centre induce a cusp-to-core transition of the dark matter halo and hence resolve the cusp-core problem in this dwarf galaxy. The dark matter core size depends on the frequency of globular cluster crossings. Our simulations clearly demonstrate also that between the passages, the dark matter halo can regenerate its cusp. Moreover, our models are in good agreement with constraints on the dark matter masses of globular clusters as our clusters lose a large fraction of their initial dark matter minihalos. These results provide circumstantial evidence for the universal existence of dark matter halos in globular clusters.


title: BottleSum: Unsupervised and Self-supervised Sentence Summarization using the Information Bottleneck Principle

abstract: The principle of the Information Bottleneck (Tishby et al. 1999) is to produce a summary of information X optimized to predict some other relevant information Y. In this paper, we propose a novel approach to unsupervised sentence summarization by mapping the Information Bottleneck principle to a conditional language modelling objective: given a sentence, our approach seeks a compressed sentence that can best predict the next sentence. Our iterative algorithm under the Information Bottleneck objective searches gradually shorter subsequences of the given sentence while maximizing the probability of the next sentence conditioned on the summary. Using only pretrained language models with no direct supervision, our approach can efficiently perform extractive sentence summarization over a large corpus. Building on our unsupervised extractive summarization (BottleSumEx), we then present a new approach to self-supervised abstractive summarization (BottleSumSelf), where a transformer-based language model is trained on the output summaries of our unsupervised method. Empirical results demonstrate that our extractive method outperforms other unsupervised models on multiple automatic metrics. In addition, we find that our self-supervised abstractive model outperforms unsupervised baselines (including our own) by human evaluation along multiple attributes.


title: Charged lepton flavour change and Non-Standard neutrino Interactions

abstract: Non-Standard neutrino Interactions (NSI) are vector contact interactions involving two neutrinos and two first generation fermions, which can affect neutrino propagation in matter. SU(2) gauge invariance suggests that NSI should be accompanied by more observable charged lepton contact interactions. However, these can be avoided at tree level in various ways. We focus on lepton flavour-changing NSI, suppose they are generated by New Physics heavier than $m_W$ that does not induce (charged) Lepton Flavour Violation (LFV) at tree level, and show that LFV is generated at one loop in most cases. The current constraints on charged Lepton Flavour Violation therefore suggest that mu <---> e flavour-changing NSI are unobservable and tau <---> l flavour-changing NSI are an order of magnitude weaker than the weak interactions. This conclusion can be avoided if the heavy New Physics conspires to cancel the one-loop LFV, or if NSI are generated by light New Physics to which our analysis does not apply.


title: Operator Entanglement in Local Quantum Circuits I: Chaotic Dual-Unitary Circuits

abstract: The entanglement in operator space is a well established measure for the complexity of the quantum many-body dynamics. In particular, that of local operators has recently been proposed as dynamical chaos indicator, i.e. as a quantity able to discriminate between quantum systems with integrable and chaotic dynamics. For chaotic systems the local-operator entanglement is expected to grow linearly in time, while it is expected to grow at most logarithmically in the integrable case. Here we study local-operator entanglement in dual-unitary quantum circuits, a class of "statistically solvable" quantum circuits that we recently introduced. We identify a class of "completely chaotic" dual-unitary circuits where the local-operator entanglement grows linearly and we provide a conjecture for its asymptotic behaviour which is in excellent agreement with the numerical results. Interestingly, our conjecture also predicts a "phase transition" in the slope of the local-operator entanglement when varying the parameters of the circuits.

categories: cond-mat.stat-mech hep-th nlin.CD quant-ph


title: Galaxy cluster hydrostatic masses using Tolman-Oppenheimer-Volkoff equation

abstract: Motivated by previous studies in literature about the potential importance of relativistic corrections to galaxy cluster hydrostatic masses, we calculate the masses of 12 relaxed clusters (with Chandra X-ray data) using the Tolman-Oppenheimer-Volkov (TOV) equation of hydrostatic equilibrium and the ideal gas equation of state. Analytical formulae for gas density and temperature profiles for these clusters, previously derived by Vikhlinin et al (astro-ph/0507092) were used to obtain these masses. We compare the TOV-based masses with those obtained using the corresponding Newtonian equation of hydrostatic equilibrium. We find that the fractional relative difference between the two masses are negligible, corresponding to $\sim \mathcal{O}(10^{-5})$.


title: Cosmic-ray driven outflow from the galactic center and the origin of magnetized radio filaments

abstract: Radio, X-ray and infrared observations of the inner few hundred pc of the Galactic center have highlighted two characteristics to the ISM. The cosmic ray ionization rate derived from molecular ions such as H$^+_3$, is at least two to three orders of magnitudes higher than in the Galactic disk. The other is bipolar X-ray and radio emission away from the Galactic plane. These features are consistent with a scenario in which high cosmic ray pressure drives large-scale winds away from the Galactic plane. The interaction of such a wind with stellar wind bubbles may explain the energetic nonthermal radio filaments found throughout the Galactic center. Some of the implications of this scenario is the removal of gas driven by outflowing winds, acting as a feedback to reduce the star formation rate in the central molecular zone (CMZ), and the distortion of azimuthal magnetic field lines in the CMZ to vertical direction away from the plane. The combined effects of the wind and vertical magnetic field can explain why most magnetized filaments run perpendicular to the Galactic plane. This proposed picture suggests our Milky Way nucleus has recently experienced starburst or black hole activity, as recent radio and X-ray observations indicate.


title: Operator Entanglement in Local Quantum Circuits II: Solitons in Chains of Qubits

abstract: We provide exact results for the dynamics of local-operator entanglement in quantum circuits with two-dimensional wires featuring ultralocal solitons, i.e. single-site operators which, up to a phase, are simply shifted by the time evolution. We classify all circuits allowing for ultralocal solitons and show that only dual-unitary circuits can feature moving ultralocal solitons. Then, we rigorously prove that if a circuit has an ultralocal soliton moving to the left (right), the entanglement of local operators initially supported on even (odd) sites saturates to a constant value and its dynamics can be computed exactly. Importantly, this does not bound the growth of complexity in chiral circuits, where solitons move only in one direction, say to the left. Indeed, in this case we observe numerically that operators on the odd sublattice have unbounded entanglement. Finally, we present a closed-form expression for the local-operator entanglement entropies in circuits with ultralocal solitons moving in both directions. Our results hold irrespectively of integrability.


title: Nature and impact of stripe freezing in La$_{1.67}$Sr$_{0.33}$NiO$_4$

abstract: La$_{1.67}$Sr$_{0.33}$NiO$_4$ develops charge and spin stripe orders at temperatures of roughly 200 K, with modulation wave vectors that are temperature independent. Various probes of spin and charge response have provided independent evidence for some sort of change below $\sim50$ K. In combination with a new set of neutron scattering measurements, we propose a unified interpretation of all of these observations in terms of a freezing of Ni-centered charges stripes, together with a glassy ordering of the spin stripes that shows up in neutron scattering as a slight rotation of the average spin direction.


title: unWISE tomography of Planck CMB lensing

abstract: CMB lensing tomography, or the cross-correlation between CMB lensing maps and large-scale structure tracers over a well-defined redshift range, has the potential to map the amplitude and growth of structure over cosmic time, provide some of the most stringent tests of gravity, and break important degeneracies between cosmological parameters. In this work, we use the unWISE galaxy catalog to provide three samples at median redshifts $z \sim 0.6, 1.1$ and 1.5, fully spanning the Dark Energy dominated era, together with the most recent Planck CMB lensing maps. We obtain a combined cross-correlation significance $S/N = 79.3$ over the range of scales $100 < \ell < 1000$. We measure the redshift distribution of unWISE sources by a combination of cross-matching with the COSMOS photometric catalog and cross-correlation with BOSS galaxies and quasars and eBOSS quasars. We also show that magnification bias must be included in our analysis and perform a number of null tests. In a companion paper, we explore the derived cosmological parameters by modeling the non-linearities and propagating the redshift distribution uncertainties.


title: On Decoding Cohen-Haeupler-Schulman Tree Codes

abstract: Tree codes, introduced by Schulman, are combinatorial structures essential to coding for interactive communication. An infinite family of tree codes with both rate and distance bounded by positive constants is called asymptotically good. Rate being constant is equivalent to the alphabet size being constant. Schulman proved that there are asymptotically good tree code families using the Lovasz local lemma, yet their explicit construction remains an outstanding open problem. In a major breakthrough, Cohen, Haeupler and Schulman constructed explicit tree code families with constant distance, but over an alphabet polylogarithmic in the length. Our main result is a randomized polynomial time decoding algorithm for these codes making novel use of the polynomial method. The number of errors corrected scales roughly as the block length to the three-fourths power, falling short of the constant fraction error correction guaranteed by the constant distance. We further present number theoretic variants of Cohen-Haeupler-Schulman codes, all correcting a constant fraction of errors with polylogarithmic alphabet size. Towards efficiently correcting close to a constant fraction of errors, we propose a speculative convex optimization approach inspired by compressed sensing.


title: Tannin-controlled micelles and fibrils of $\kappa$-casein

abstract: Effects of green tea tannin epigallocatechin-gallate (EGCG) on thermal-stress-induced amyloid fibril formation of reduced carboxymethylated bovine milk protein $\kappa$-casein (RCMK) were studied by dynamical light scattering (DLS) and small angle x-rays scattering (SAXS). Two populations of aggregates, micelles and fibrils, dominated the time evolution of light scattering intensity and of effective hydrodynamic diameter. SAXS experiments allowed to resolve micelles and fibrils so that the time dependence of scattering profile revealed structural evolution of the two populations. The low-Q scattering intensity prior to an expected increase with time due to fibril growth, shows an intriguing rapid decrease which is interpreted as the release of monomers from micelles. This phenomenon, observed both in the absence and in the presence of EGCG, indicates that under thermal stress free native monomers are converted to amyloid-prone monomers that do not form micelles. The consumption of free native monomers results in a release of native monomers from micelles, because only native protein participate in micelle-monomer (quasi-)equilibrium. This release is reversible, indicating also that native-to-amyloid-prone monomers conversion is reversible as well. We show that EGCG does not bind to protein in fibrils, neither does it affect/prevent the pro-amyloid conversion of monomers. EGCG hinders the addition of monomers to growing fibrils. These facts allowed us to propose kinetics model for EGCG-controlled amyloid aggregation of micellar proteins. Therein, we introduced the growth-rate inhibition function which quantitatively accounts for the effect of EGCG on the fibril growth at any degree of thermal stress.


title: Chern Classes via Derived Determinant

abstract: Motivated by the Chern-Weil theory, we prove that for a given vector bundle $E$ on a smooth scheme $X$ over a field $k$ of any characteristic, the Chern classes of $E$ in the Hodge cohomology can be recovered from the Atiyah class. Although this problem was solved by Illusie in \cite{i}, we present another proof by means of derived algebraic geometry. Also, for a scheme $X$ over a field $k$ of characteristic $p$ with a vector bundle $E$ we construct elements $c^{cris}_n (E, \alpha(E)) \in H_{dR}^{2n} (X) $ using an obstruction $\alpha(E)$ to a lifting of $F^* E$ to a crystal modulo $p^2$ and prove that $c^{cris}_n (E, \alpha(E)) = n! \cdot c_{n}^{dR} (E)$, where $c_{n}^{dR} (E)$ are the Chern classes of $E$ in the de Rham cohomology and $F$ is the Frobenius map.


title: Embedding via the Exact Factorization Approach

abstract: We present a quantum electronic embedding method derived from the exact factorization approach to calculate static properties of a many-electron system. The method is exact in principle but the practical power lies in utilizing input from a low-level calculation on the entire system in a high-level method computed on a small fragment, as in other embedding methods. Here, the exact factorization approach is used to define an embedding Hamiltonian on the fragment. Various Hubbard chain models demonstrate that remarkably accurate ground-state energies are obtained over the full range of weak to strongly correlated systems.


title: Efficient high-order singular quadrature schemes in magnetic fusion

abstract: Several problems in magnetically confined fusion, such as the computation of exterior vacuum fields or the decomposition of the total magnetic field into separate contributions from the plasma and the external sources, are best formulated in terms of integral equation expressions. Based on Biot-Savart-like formulae, these integrals contain singular integrands. The regularization method commonly used to address the computation of various singular surface integrals along general toroidal surfaces is low-order accurate, and therefore requires a dense computational mesh in order to obtain sufficient accuracy. In this work, we present a fast, high-order quadrature scheme for the efficient computation of these integrals. Several numerical examples are provided demonstrating the computational efficiency and the high-order accurate convergence. A corresponding code for use in the community has been publicly released.

categories: math.NA cs.NA physics.comp-ph physics.plasm-ph


title: Energy Budgets for Terrestrial Extrasolar Planets

abstract: The pathways through which incoming energy is distributed between the surface and atmosphere has been analyzed for the Earth. However, the effect of the spectral energy distribution of a host star on the energy budget of an orbiting planet may be significant given the wavelength-dependent absorption properties of atmospheric CO2 and water vapor, and surface ice and snow. We have quantified the flow of energy on aqua planets orbiting M-, G-, and F-dwarf stars, using a 3D Global Climate Model with a static ocean. The atmosphere and surface of an M-dwarf planet receiving an instellation equal to 88% of the modern solar constant at the top of the atmosphere absorb 12% more incoming stellar radiation than those of a G-dwarf planet receiving 100% of the modern solar constant, and 17% more radiation than a F-dwarf planet receiving 108% of the modern solar constant, resulting in climates similar to modern-day Earth on all three planets, assuming a 24-hr rotation period and fixed CO2. At 100% instellation, a synchronously-rotating M-dwarf planet exhibits smaller flux absorption in the atmosphere and on the surface of the dayside, and a dayside mean surface temperature that is 37 K colder than its rapidly-rotating counterpart. Energy budget diagrams are included to illustrate the variations in global energy budgets as a function of host star spectral class, and can contribute to habitability assessments of planets as they are discovered.


title: Topological wormholes

abstract: Locality plays a fundamental role in quantum computation but also severely restricts our ability to store and process quantum information. We argue that this restriction may be unwarranted and re-examine quantum error correcting codes. We proceed to introduce new defects on the surface code called wormholes. These novel defects entangle two spatially separated sectors of the lattice. When anyonic excitations enter the mouth of a wormhole, they emerge through the other mouth. Wormholes thus serve to connect two spatially separated sectors of a flat, $2$D lattice. We show that these defects are capable of encoding logical qubits and can be used to perform all gates in the Clifford group.


title: Regular Partitions and Their Use in Structural Pattern Recognition

abstract: Recent years are characterized by an unprecedented quantity of available network data which are produced at an astonishing rate by an heterogeneous variety of interconnected sensors and devices. This high-throughput generation calls for the development of new effective methods to store, retrieve, understand and process massive network data. In this thesis, we tackle this challenge by introducing a framework to summarize large graphs based on Szemer\'edi's Regularity Remma (RL), which roughly states that any sufficiently large graph can almost entirely be partitioned into a bounded number of random-like bipartite graphs. The partition resulting from the RL gives rise to a summary, which inherits many of the essential structural properties of the original graph. We first extend an heuristic version of the RL to improve its efficiency and its robustness. We use the proposed algorithm to address graph-based clustering and image segmentation tasks. In the second part of the thesis, we introduce a new heuristic algorithm which is characterized by an improvement of the summary quality both in terms of reconstruction error and of noise filtering. We use the proposed heuristic to address the graph search problem defined under a similarity measure. Finally, we study the linkage among the regularity lemma, the stochastic block model and the minimum description length. This study provide us a principled way to develop a graph decomposition algorithm based on stochastic block model which is fitted using likelihood maximization.


title: Second look to the Polyakov Loop Nambu-Jona-Lasinio model at finite baryonic density

abstract: We revisit the Polyakov Loop coupled Nambu-Jona-Lasinio model that maintains the Polyakov loop dynamics in the limit of zero temperature. This is of interest for astrophysical applications in the interior of neutron stars. For this purpose we re-examine the form of the potential for the deconfinement order parameter at finite baryonic densities. Since the modification of this potential at any temperature is formally equivalent to assigning a baryonic charge to gluons, we develop a more general formulation of the present model that cures this spurious effect and is normalized to match the asymptotic behaviour of the QCD equation of state given by $\mathcal{O}(\alpha_s^2)$ and partial $\mathcal{O}(\alpha_s^3\ln^2\alpha_s)$ perturbative results.


title: On-chip $\chi^{(2)}$ microring optical parametric oscillator

abstract: Optical parametric oscillators (OPOs) have been widely used for decades as tunable, narrow linewidth, and coherent light sources for reaching long wavelengths and are attractive for applications such as quantum random number generation and Ising machines. To date, waveguide-based OPOs have suffered from relatively high thresholds on the order of hundreds of milliwatts. With the advance in integrated photonic techniques demonstrated by high-efficiency second harmonic generation in aluminum nitride (AlN) photonic microring resonators, highly compact and nanophotonic implementation of parametric oscillation is feasible. Here, we employ phase-matched AlN microring resonators to demonstrate low-threshold parametric oscillation in the telecom infrared band with an on-chip efficiency up to 17% and milliwatt-level output power. A broad phase-matching window is observed, enabling tunable generation of signal and idler pairs over a 180 nm bandwidth across the C band. This result establishes an important milestone in integrated nonlinear optics and paves the way towards chip-based quantum light sources and tunable, coherent radiation for spectroscopy and chemical sensing.


title: Fully resolved simulation of dense suspensions of freely evolving buoyant particles using an improved immersed boundary method

abstract: Fully resolved simulation of flows with buoyant particles is a challenging problem since buoyant particles are lighter than the surrounding fluid, and as a result, the two phases are strongly coupled together. In this work, the virtual force stabilization technique introduced by Schwarz et al. [Schwarz, S., Kempe, T., & Fr\"ohlich, J. (2015). A temporal discretization scheme to compute the motion of light particles in viscous flows by an immersed boundary method. J. Comput. Phys., 281, 591-613] is extended to simulate buoyant particle suspensions with high volume fractions (up to $40 \%$). It is concluded that the dimensionless numerical model constant $C_v$ in the virtual force technique should increase with volume fraction. The behavior of a single rising particle, two in-line rising particles, and buoyant particle suspensions are studied. In each case, results are compared with experimental works on bubbly flows to highlight the differences and similarities between buoyant particles and bubbles. Finally, the drag coefficient is extracted from simulations of buoyant particle suspensions at different volume fractions and based on that a drag correlation is presented.


title: Fault-tolerant gates on hypergraph product codes

abstract: Hypergraph product codes are a class of quantum low density parity check (LDPC) codes discovered by Tillich and Z\'emor. These codes have a constant encoding rate and were recently shown to have a constant fault-tolerant error threshold. With these features, they asymptotically offer a smaller overhead compared to topological codes. However, existing techniques to perform logical gates in hypergraph product codes require many separate code blocks, so only becomes effective with a very large number of logical qubits. Here, we demonstrate how to perform Clifford gates on this class of codes using code deformation. To this end, we generalize punctures and wormhole defects, the latter introduced in a companion paper. Together with state injection, we can perform a universal set of gates within a single block of the class of hypergraph product codes.


title: A Characteristic Function Approach to Deep Implicit Generative Modeling

abstract: Implicit Generative Models (IGMs) such as GANs have emerged as effective data-driven models for generating samples, particularly images. In this paper, we formulate the problem of learning an IGM as minimizing the expected distance between characteristic functions. Specifically, we minimize the distance between characteristic functions of the real and generated data distributions under a suitably-chosen weighting distribution. This distance metric, which we term as the characteristic function distance (CFD), can be (approximately) computed with linear time-complexity in the number of samples, in contrast with the quadratic-time Maximum Mean Discrepancy (MMD). By replacing the discrepancy measure in the critic of a GAN with the CFD, we obtain a model that is simple to implement and stable to train. The proposed metric enjoys desirable theoretical properties including continuity and differentiability with respect to generator parameters, and continuity in the weak topology. We further propose a variation of the CFD in which the weighting distribution parameters are also optimized during training; this obviates the need for manual tuning, and leads to an improvement in test power relative to CFD. We demonstrate experimentally that our proposed method outperforms WGAN and MMD-GAN variants on a variety of unsupervised image generation benchmarks.


title: TAAL: Tampering Attack on Any Key-based Logic Locked Circuits

abstract: Due to the globalization of semiconductor manufacturing and test processes, the system-on-a-chip (SoC) designers no longer design the complete SoC and manufacture chips on their own. This outsourcing of the design and manufacturing of Integrated Circuits (ICs) has resulted in several threats, such as overproduction of ICs, sale of out-of-specification/rejected ICs, and piracy of Intellectual Properties (IPs). Logic locking has emerged as a promising defense strategy against these threats. However, various attacks about the extraction of secret keys have undermined the security of logic locking techniques. Over the years, researchers have proposed different techniques to prevent existing attacks. In this paper, we propose a novel attack that can break any logic locking techniques that rely on the stored secret key. This proposed TAAL attack is based on implanting a hardware Trojan in the netlist, which leaks the secret key to an adversary once activated. As an untrusted foundry can extract the netlist of a design from the layout/mask information, it is feasible to implement such a hardware Trojan. All three proposed types of TAAL attacks can be used for extracting secret keys. We have introduced the models for both the combinational and sequential hardware Trojans that evade manufacturing tests. An adversary only needs to choose one hardware Trojan out of a large set of all possible Trojans to launch the TAAL attack.


title: Effective Hamiltonian for superconducting Ni oxides Nd$_{1-x}$Sr$_x$NiO$_2$

abstract: We derive the effective single-band Hamiltonian in the flat NiO$_2$ planes for nickelate compounds Nd$_{1-x}$Sr$_x$NiO$_2$. We first implement the first-principles calculation to study electronic structures of nickelates using the Heyd-Scuseria-Ernzerhof hybrid density functional and derive a three-band Hubbard model for Ni-O $pd\sigma$ bands of Ni$^+$ $3d_{x^2-y^2}$ and O$^{2-}$ $2p_{x/y}$ orbitals in the NiO$_2$ planes. To obtain the effective one-band $t$-$t'$-$J$ model Hamiltonian, we perform the exact diagonalization of the three-band Hubbard model for the Ni$_5$O$_{16}$ cluster and map the low-energy spectra onto the effective one-band models. We find that the undoped NiO$_2$ plane is a Hubbard Mott insulator, and the doped holes primarily locate on Ni sites. The physics of the NiO$_2$ plane is a doped Mott insulator, described by the one-band $t$-$t'$-$J$ model with $t=265$~meV, $t'=-21$~meV and $J=28.6$~meV. We also discuss the electronic structure for the "self-doping" effect and heavy fermion behavior of electron pockets of Nd$^{3+}$ $5d$ character in Nd$_{1-x}$Sr$_x$NiO$_2$.


title: Dielectric loss extraction for superconducting microwave resonators

abstract: The investigation of two-level-state (TLS) loss in dielectric materials and interfaces remains at the forefront of materials research in superconducting quantum circuits. We demonstrate a method of TLS loss extraction of a thin film dielectric by measuring a lumped element resonator fabricated from a superconductor-dielectric-superconductor trilayer. We extract the dielectric loss by formulating a circuit model for a lumped element resonator with TLS loss and then fitting to this model using measurements from a set of three resonator designs: a coplanar waveguide resonator, a lumped element resonator with an interdigitated capacitor, and a lumped element resonator with a parallel plate capacitor that includes the dielectric thin film of interest. Unlike other methods, this allows accurate measurement of materials with TLS loss lower than $10^{-6}$. We demonstrate this method by extracting a TLS loss of $1.02 \times 10^{-3}$ for sputtered $\mathrm{Al_2O_3}$ using a set of samples fabricated from an $\mathrm{Al/Al_2O_3/Al}$ trilayer. We observe a difference of 11$\%$ between extracted loss of the trilayer with and without the implementation of this method.


title: Doubly Charged Scalar at the High-Luminosity and High-Energy LHC

abstract: Doubly charged scalars are common figures in several beyond the Standard Model studies, especially those related to neutrino masses. In this work, we estimate the High-Luminosity (HL-LHC) and High-Energy LHC (HE-LHC) sensitivity to doubly charged scalars assuming they decay promptly and exclusively into charged leptons. Our study focuses on the fit to the same-sign dilepton mass spectra and it is based on proton-proton collisions at $13$ TeV, $14$ TeV and $27$ TeV with integrated luminosity of $\mathcal{L}=139 fb^{-1}, 3 $ab$^{-1}$ and $15$ab$^{-1}$. We find that HL-LHC may probe doubly charged scalars masses up to $2.3$ TeV, whereas HE-LHC can impressively probe masses up to $3$ TeV, conclusively constituting a complementary and important probe to signs of doubly charged scalars in lepton flavor violation decays and lepton-lepton colliders.


title: Glueball Spins in $ D=3$ Yang-Mills

abstract: We determine spins of more than 100 low lying glueball states in $D=2+1$ dimensional $SU(4)$ gluodynamics by a lattice calculation. We go up to $J=8$ in the spin value. We compare the resulting spectrum with predictions of the Axionic String Ansatz (ASA). We find a perfect match for 39 lightest states, corresponding to the first four string levels. In particular, this resolves tensions between the ASA predictions and earlier spin determinations. The observed spins of heavier glueballs are also in a good agreement with the ASA. We did not identify any sharp tension between lattice data and the ASA, but more work is needed to fully test the ASA predictions for the spins of 64 states at the fifth string level.


title: Spin transport in ferromagnet-InSb nanowire quantum devices

abstract: Signatures of Majorana zero modes (MZMs), which are the building blocks for fault-tolerant topological quantum computing, have been observed in semiconductor nanowires (NW) with strong spin-orbital-interaction (SOI), such as InSb and InAs NWs with proximity-induced superconductivity. Realizing topological superconductivity and MZMs in this most widely-studied platform also requires eliminating spin degeneracy, which is realized by applying a magnetic field to induce a helical gap. However, the applied field can adversely impact the induced superconducting state in the NWs and also places geometric restrictions on the device, which can affect scaling of future MZM-based quantum registers. These challenges could be circumvented by integrating magnetic elements with the NWs. With this motivation, in this work we report the first experimental investigation of spin transport across InSb NWs, which are enabled by devices with ferromagnetic (FM) contacts. We observe signatures of spin polarization and spin-dependent transport in the quasi-one-dimensional ballistic regime. Moreover, we show that electrostatic gating tunes the observed magnetic signal and also reveals a transport regime where the device acts as a spin filter. These results open an avenue towards developing MZM devices in which spin degeneracy is lifted locally, without the need of an applied magnetic field. They also provide a path for realizing spin-based devices that leverage spin-orbital states in quantum wires.


title: A High Spectral Resolution Study of the Soft X-ray Background with the X-ray Quantum Calorimeter

abstract: We present here a combined analysis of four high spectral resolution observations of the Diffuse X-ray Background (DXRB), made using the University of Wisconsin-Madison/Goddard Space Flight Center X-ray Quantum Calorimeter (XQC) sounding rocket payload. The observed spectra support the existence of a $\sim0.1~$keV Local Hot Bubble and a $\sim0.2~$keV Hot Halo, with discrepancies between repeated observations compatible with expected contributions of time-variable emission from Solar Wind Charge Exchange (SWCX). An additional component of $\sim0.9~$keV emission observed only at low galactic latitudes can be consistently explained by unresolved dM stars.


title: KRNC: New Foundations for Permissionless Byzantine Consensus and Global Monetary Stability

abstract: This paper applies biomimetic engineering to the problem of permissionless Byzantine consensus and achieves results that surpass the prior state of the art by four orders of magnitude. It introduces a biologically inspired asymmetric Sybil-resistance mechanism, Proof-of-Balance, which can replace symmetric Proof-of-Work and Proof-of-Stake weighting schemes. The biomimetic mechanism is incorporated into a permissionless blockchain protocol, Key Retroactivity Network Consensus ("KRNC"), which delivers ~40,000 times the security and speed of today's decentralized ledgers. KRNC allows the fiat money that the public already owns to be upgraded with cryptographic inflation protection, eliminating the problems inherent in bootstrapping new currencies like Bitcoin and Ethereum. The paper includes two independently significant contributions to the literature. First, it replaces the non-structural axioms invoked in prior work with a new formal method for reasoning about trust, liveness, and safety from first principles. Second, it demonstrates how two previously overlooked exploits, book-prize attacks and pseudo-transfer attacks, collectively undermine the security guarantees of all prior permissionless ledgers.


title: The exact solution of a generalized two-spins model

abstract: We present the exact solution of a family of two-spins models. The models are solved by the algebraic Bethe ansatz method using the $gl(2)$-invariant $R$-matrix and a multi-spins Lax operator. The interactions are by the Heisenberg spins exchange. We are also considering magnetic $B$-fields and a term for Haldane single spin anisotropy.

categories: math-ph cond-mat.stat-mech hep-th math.MP nlin.SI


title: Large deviations and central limit theorems for sequential and random systems of intermittent maps

abstract: We obtain large deviations estimates for both sequential and random compositions of intermittent maps. We also address the question of whether or not centering is necessary for the quenched central limit theorems (CLT) obtained by Nicol, T\"or\"ok and Vaienti for random dynamical systems comprised of intermittent maps. Using recent work of Abdelkader and Aimino, Hella and Stenlund we extend the results of Nicol, T\"or\"ok and Vaienti on quenched central limit theorems (CLT) for centered observables over random compositions of intermittent maps: first by enlarging the parameter range over which the quenched CLT holds; and second by showing that the variance in the quenched CLT is almost surely constant (and the same as the variance of the annealed CLT) and that centering is needed to obtain this quenched CLT.


title: Robust matching rules for real quasicrystals

abstract: We consider the problem of extraction and validation of matching rules, directly from the phased diffraction data of a quasicrystal, and propose an algorithmic procedure to produce the rules of the shortest possible range. We have developed a geometric framework to express such rules together with a homological mechanism enforcing the long-range quasiperiodic order. This mechanism tolerates the presence of defects in a robust way.


title: Heterogeneous Dataflow Accelerators for Multi-DNN Workloads

abstract: Emerging AI-enabled applications such as augmented/virtual reality (AR/VR) leverage multiple deep neural network (DNN) models for sub-tasks such as object detection, hand tracking, and so on. Because of the diversity of the sub-tasks, the layers within and across the DNN models are highly heterogeneous in operation and shape. Such layer heterogeneity is a challenge for a fixed dataflow accelerator (FDA) that employs a fixed dataflow on a single accelerator substrate since each layer prefers different dataflows (computation order and parallelization) and tile sizes. Reconfigurable DNN accelerators (RDAs) have been proposed to adapt their dataflows to diverse layers to address the challenge. However, the dataflow flexibility in RDAs is enabled at the area and energy costs of expensive hardware structures (switches, controller, etc.) and per-layer reconfiguration. Alternatively, this work proposes a new class of accelerators, heterogeneous dataflow accelerators (HDAs), which deploys multiple sub-accelerators each supporting a different dataflow. HDAs enable coarser-grained dataflow flexibility than RDAs with higher energy efficiency and lower area cost comparable to FDAs. To exploit such benefits, hardware resource partitioning across sub-accelerators and layer execution schedule need to be carefully optimized. Therefore, we also present Herald, which co-optimizes hardware partitioning and layer execution schedule. Using Herald on a suite of AR/VR and MLPerf workloads, we identify a promising HDA architecture, Maelstrom, which demonstrates 65.3% lower latency and 5.0% lower energy than the best FDAs and 22.0% lower energy at the cost of 20.7% higher latency than a state-of-the-art RDA. The results suggest that HDA is an alternative class of Pareto-optimal accelerators to RDA with strength in energy, which can be a better choice than RDAs depending on the use cases.


title: On the design of an innovative solution for increasing hazardous materials transportation safety

abstract: Transportation of hazardous materials represent a high risk operation all over the world. Flammable substances such as oil, kerosene, hydrocarbons, ammonium nitrate or toxic products are shipped every day on busy roads by trucks. An innovative solution for increasing hazardous materials transportation safety is presented in this paper. The solution integrates three systems: one mounted on the truck that can alert authorities in case of an accident, one portable system for quick identification of the carried substances and intervention method and a component for real-time road monitoring. The proposed solution is based on RFID card with a special memory structure presented in this paper


title: Bonsai-SPH: A GPU accelerated astrophysical Smoothed Particle Hydrodynamics code

abstract: We present the smoothed-particle hydrodynamics simulation code, Bonsai-SPH, which is a continuation of our previously developed gravity-only hierarchical $N$-body code (called Bonsai). The code is optimized for Graphics Processing Unit (GPU) accelerators which enables researchers to take advantage of these powerful computational resources. Bonsa-SPH produces simulation results comparable with state-of-the-art, CPU based, codes, but using an order of magnitude less computation time. The code is freely available online and the details are described in this work.


title: Learning Index Selection with Structured Action Spaces

abstract: Configuration spaces for computer systems can be challenging for traditional and automatic tuning strategies. Injecting task-specific knowledge into the tuner for a task may allow for more efficient exploration of candidate configurations. We apply this idea to the task of index set selection to accelerate database workloads. Index set selection has been amenable to recent applications of vanilla deep RL, but real deployments remain out of reach. In this paper, we explore how learning index selection can be enhanced with task-specific inductive biases, specifically by encoding these inductive biases in better action structures. Index selection-specific action representations arise when the problem is reformulated in terms of permutation learning and we rely on recent work for learning RL policies on permutations. Through this approach, we build an indexing agent that is able to achieve improved indexing and validate its behavior with task-specific statistics. Early experiments reveal that our agent can find configurations that are up to 40% smaller for the same levels of latency as compared with other approaches and indicate more intuitive indexing behavior.


title: Attosecond Transient Absorption Spooktroscopy: a ghost imaging approach to ultrafast absorption spectroscopy

abstract: The recent demonstration of isolated attosecond pulses from an X-ray free-electron laser (XFEL) opens the possibility for probing ultrafast electron dynamics at X-ray wavelengths. An established experimental method for probing ultrafast dynamics is X-ray transient absorption spectroscopy, where the X-ray absorption spectrum is measured by scanning the central photon energy and recording the resultant photoproducts. The spectral bandwidth inherent to attosecond pulses is wide compared to the resonant features typically probed, which generally precludes the application of this technique in the attosecond regime. In this paper we propose and demonstrate a new technique to conduct transient absorption spectroscopy with broad bandwidth attosecond pulses with the aid of ghost imaging, recovering sub-bandwidth resolution in photoproduct-based absorption measurements.


title: Student Epistemological Framing on Paper-Based Assessments

abstract: Assessments are usually thought of as ways for instructors to get information from students. In this work, we flip this perspective and explore how assessments communicate information to students. Specifically, we consider how assessments may provide information about what faculty and/or researchers think it means to know and do physics, i.e. their epistemologies. Using data from students completing assessment questions during one-on-one think aloud interviews, we explore how assessment features impact (or did not impact) student engagement with the assessment problems. We analyze video recordings and transcripts to infer the epistemological framings and resources students use while completing introductory-level physics problems. Students' framings tended to be fairly stable, but when shifts did occur - they were triggered by a shift in resource, which can be activated by assessment feature. This work extends existing work on epistemological framing into the realm of assessment and allows us to consider the effects of assessments on our students' understanding of physics teaching and learning.


title: An Automated Method to Detect Transiting Circumbinary Planets

abstract: To date a dozen transiting "Tatooines" or circumbinary planets (CBPs) have been discovered, by eye, in the data from the Kepler mission; by contrast, thousands of confirmed circumstellar planets orbiting around single stars have been detected using automated algorithms. Automated detection of CBPs is challenging because their transits are strongly aperiodic with irregular profiles. Here, we describe an efficient and automated technique for detecting circumbinary planets that transit their binary hosts in Kepler light curves. Our method accounts for large transit timing and duration variations (TTVs and TDVs), induced by binary reflex motion, in two ways: 1) We directly correct for large-scale TTVs and TDVs in the light curves by using Keplerian models to approximate binary and CBP orbits; and 2) We allow additional aperiodicities on the corrected light curves by employing the Quasi-periodic Automated Transit Search algorithm (QATS). We demonstrate that our method dramatically improves detection significance using simulated data and two previously identified CBP systems, Kepler-35 and Kepler-64.


title: Student Performance Prediction with Optimum Multilabel Ensemble Model

abstract: One of the important measures of quality of education is the performance of students in the academic settings. Nowadays, abundant data is stored in educational institutions about students which can help to discover insight on how students are learning and how to improve their performance ahead of time using data mining techniques. In this paper, we developed a student performance prediction model that predicts the performance of high school students for the next semester for five courses. We modeled our prediction system as a multi-label classification task and used support vector machine (SVM), Random Forest (RF), K-nearest Neighbors (KNN), and Mult-layer perceptron (MLP) as base-classifiers to train our model. We further improved the performance of the prediction model using state-of-the-art partitioning schemes to divide the label space into smaller spaces and use Label Powerset (LP) transformation method to transform each labelset into a multi-class classification task. The proposed model achieved better performance in terms of different evaluation metrics when compared to other multi-label learning tasks such as binary relevance and classifier chains.


title: Truthful and Faithful Monetary Policy for a Stablecoin Conducted by a Decentralised, Encrypted Artificial Intelligence

abstract: The Holy Grail of a decentralised stablecoin is achieved on rigorous mathematical frameworks, obtaining multiple advantageous proofs: stability, convergence, truthfulness, faithfulness, and malicious-security. These properties could only be attained by the novel and interdisciplinary combination of previously unrelated fields: model predictive control, deep learning, alternating direction method of multipliers (consensus-ADMM), mechanism design, secure multi-party computation, and zero-knowledge proofs. For the first time, this paper proves: - the feasibility of decentralising the central bank while securely preserving its independence in a decentralised computation setting - the benefits for price stability of combining mechanism design, provable security, and control theory, unlike the heuristics of previous stablecoins - the implementation of complex monetary policies on a stablecoin, equivalent to the ones used by central banks and beyond the current fixed rules of cryptocurrencies that hinder their price stability - methods to circumvent the impossibilities of Guaranteed Output Delivery (G.O.D.) and fairness: standing on truthfulness and faithfulness, we reach G.O.D. and fairness under the assumption of rational parties As a corollary, a decentralised artificial intelligence is able to conduct the monetary policy of a stablecoin, minimising human intervention.


title: Three-in-a-Tree in Near Linear Time

abstract: The three-in-a-tree problem is to determine if a simple undirected graph contains an induced subgraph which is a tree connecting three given vertices. Based on a beautiful characterization that is proved in more than twenty pages, Chudnovsky and Seymour [Combinatorica 2010] gave the previously only known polynomial-time algorithm, running in $O(mn^2)$ time, to solve the three-in-a-tree problem on an $n$-vertex $m$-edge graph. Their three-in-a-tree algorithm has become a critical subroutine in several state-of-the-art graph recognition and detection algorithms. In this paper we solve the three-in-a-tree problem in $\tilde{O}(m)$ time, leading to improved algorithms for recognizing perfect graphs and detecting thetas, pyramids, beetles, and odd and even holes. Our result is based on a new and more constructive characterization than that of Chudnovsky and Seymour. Our new characterization is stronger than the original, and our proof implies a new simpler proof for the original characterization. The improved characterization gains the first factor $n$ in speed. The remaining improvement is based on dynamic graph algorithms.


title: Electroweak strings with dark scalar condensates and their (in)stability

abstract: The stability of "visible" electroweak-type cosmic strings is investigated in an extension of the Standard Model (SM) by a minimal dark sector, consisting of a U(1) gauge field, broken spontaneously by a scalar. The "visible" and dark sectors are coupled through a Higgs-portal and a gauge-kinetic mixing term. It is found that strings whose core is "filled" with a dark scalar condensate exhibit better stability properties than their analogues in the SM, when the electroweak mixing angle is close to $\theta_{\rm W}=\pi/2$. They become unstable as one lets $\theta_{\rm W}$ approach its physical value. The instability mechanism appears to be a $W$-boson condensation mechanism found in previous studies on the stability of electroweak strings.


title: Beltrami fields with hyperbolic periodic orbits enclosed by knotted invariant tori

abstract: We prove that there exist Beltrami fields in Euclidean space, with sharp decay at infinity, which have a prescribed set of invariant tori (possibly knotted or linked) that enclose an arbitrarily large number of hyperbolic periodic orbits. These hyperbolic orbits are cablings over the core curve of each torus. Moreover, the domain bounded by each invariant torus is covered by an almost full measure set of invariant tori. We show that an analogous result holds for high-frequency Beltrami fields on the flat 3-torus.


title: A Particle Method without Remeshing

abstract: We propose a simple tweak to a recently developed regularisation scheme for particle methods. This allows us to chose the particle spacing $h$ proportional to the regularisation length $\sigma$ and achieve optimal error bounds of the form $\mathcal{O}(\sigma^n)$, $n\in\mathbb{N}$, without any need of remeshing. We prove this result for the linear advection equation but also carry out high-order experiments on the full Navier--Stokes equations. In our experiments the particle methods proved to be highly accurate, long-term stable, and competitive with discontinuous Galerkin methods.


title: Dissipation-induced rotation of suspended ferromagnetic nanoparticles

abstract: We report the precessional rotation of magnetically isotropic ferromagnetic nanoparticles in a viscous liquid that are subjected to a rotating magnetic field. In contrast to magnetically anisotropic nanoparticles, the rotation of which occurs due to coupling between the magnetic and lattice subsystems through magnetocrystalline anisotropy, the rotation of isotropic nanoparticles is induced only by magnetic dissipation processes. We propose a theory of this phenomenon based on a set of equations describing the deterministic magnetic and rotational dynamics of such particles. Neglecting inertial effects, we solve these equations analytically, find the magnetization and particle precessions in the steady state, determine the components of the particle angular velocity and analyze their dependence on the model parameters. The possibility of experimental observation of this phenomenon is also discussed.


title: Ferrovolcanism on metal worlds and the origin of pallasites

abstract: As differentiated planetesimals cool, their cores can solidify from the outside-in, as evidenced by paleomagnetic measurements and cooling rate estimates of iron meteorites. The details of outside-in solidification and fate of residual core melt are poorly understood. For a core primarily composed of Fe and Ni alloyed with lighter constituent elements, like sulfur, such inward core growth would likely be achieved by growth of solid FeNi dendrites. Growth of FeNi dendrites results in interconnected pockets of residual melt that become progressively enriched in sulfur up to a eutectic composition of 31 wt percent sulfur as FeNi continues to solidify. Here we show that regions of residual sulfur-enriched FeNi melt in the core attain sufficient excess pressures to propagate via dikes into the mantle. Thus, core material will intrude into the overlying rocky mantle or possibly even erupt onto the plantesimals surface. We refer to these processes collectively as ferrovolcanism. Our calculation show that ferrovolcanic surface eruptions are more likely on bodies with mantles less than 50 km thick. We show that intrusive ferromagmatism can produce pallasites, an enigmatic class of meteorites composed of olivine crystals entrained in a matrix of FeNi metal. Ferrovolcanic eruptions may explain the observations that Psyche has a bulk density inconsistent with iron metorites yet shows evidence of a metallic surface composition.


title: BAFFLE : Blockchain Based Aggregator Free Federated Learning

abstract: A key aspect of Federated Learning (FL) is the requirement of a centralized aggregator to maintain and update the global model. However, in many cases orchestrating a centralized aggregator might be infeasible due to numerous operational constraints. In this paper, we introduce BAFFLE, an aggregator free, blockchain driven, FL environment that is inherently decentralized. BAFFLE leverages Smart Contracts (SC) to coordinate the round delineation, model aggregation and update tasks in FL. BAFFLE boosts computational performance by decomposing the global parameter space into distinct chunks followed by a score and bid strategy. In order to characterize the performance of BAFFLE, we conduct experiments on a private Ethereum network and use the centralized and aggregator driven methods as our benchmark. We show that BAFFLE significantly reduces the gas costs for FL on the blockchain as compared to a direct adaptation of the aggregator based method. Our results also show that BAFFLE achieves high scalability and computational efficiency while delivering similar accuracy as the benchmark methods.


title: Formal Verification of Blockchain Byzantine Fault Tolerance

abstract: To implement a blockchain, the trend is now to integrate a non-trivial Byzantine fault tolerant consensus algorithm instead of the seminal idea of waiting to receive blocks to decide upon the longest branch. After a decade of existence, blockchains trade now large amounts of valuable assets and a simple disagreement could lead to disastrous losses. Unfortunately, Byzantine consensus solutions used in blockchains are at best proved correct "by hand" as we are not aware of any of them having been formally verified. In this paper, we propose two contributions: (i) we illustrate the severity of the problem by listing six vulnerabilities of blockchain consensus including two new counter-examples; (ii) we then formally verify two Byzantine fault tolerant components of Red Belly Blockchain using the ByMC model checker. First, we specify a simple broadcast primitive in 116 lines of code that is verified in 40 seconds on a 2-core Intel machine. Then, we specify a blockchain consensus algorithm in 276 lines of code that is verified in 17 minutes on a 64-core AMD machine using MPI. To conclude, we argue that it has now become both relatively simple and crucial to formally verify the correctness of blockchain consensus protocols.


title: Reproducibility of an airway tapering measurement in CT with application to bronchiectasis

abstract: Purpose: This paper proposes a pipeline to acquire a scalar tapering measurement from the carina to the most distal point of an individual airway visible on CT. We show the applicability of using tapering measurements on clinically acquired data by quantifying the reproducibility of the tapering measure. Methods: We generate a spline from the centreline of an airway to measure the area and arclength at contiguous intervals. The tapering measurement is the gradient of the linear regression between area in log space and arclength. The reproducibility of the measure was assessed by analysing different radiation doses, voxel sizes and reconstruction kernel on single timepoint and longitudinal CT scans and by evaluating the effct of airway bifurcations. Results: Using 74 airways from 10 CT scans, we show a statistical difference, p = 3.4 $\times$ 10$^{-4}$ in tapering between healthy airways (n = 35) and those affected by bronchiectasis (n = 39). The difference between the mean of the two populations was 0.011mm$^{-1}$ and the difference between the medians of the two populations was 0.006mm$^{-1}$. The tapering measurement retained a 95\% confidence interval of $\pm$0.005mm$^{-1}$ in a simulated 25 mAs scan and retained a 95% confidence of $\pm$0.005mm$^{-1}$ on simulated CTs up to 1.5 times the original voxel size. Conclusion: We have established an estimate of the precision of the tapering measurement and estimated the effect on precision of simulated voxel size and CT scan dose. We recommend that the scanner calibration be undertaken with the phantoms as described, on the specific CT scanner, radiation dose and reconstruction algorithm that is to be used in any quantitative studies. Our code is available at https://github.com/quan14/AirwayTaperingInCT


title: DDoS Hide & Seek: On the Effectiveness of a Booter Services Takedown

abstract: Booter services continue to provide popular DDoS-as-a-service platforms and enable anyone irrespective of their technical ability, to execute DDoS attacks with devastating impact. Since booters are a serious threat to Internet operations and can cause significant financial and reputational damage, they also draw the attention of law enforcement agencies and related counter activities. In this paper, we investigate booter-based DDoS attacks in the wild and the impact of an FBI takedown targeting 15 booter websites in December 2018 from the perspective of a major IXP and two ISPs. We study and compare attack properties of multiple booter services by launching Gbps-level attacks against our own infrastructure. To understand spatial and temporal trends of the DDoS traffic originating from booters we scrutinize 5 months, worth of inter-domain traffic. We observe that the takedown only leads to a temporary reduction in attack traffic. Additionally, one booter was found to quickly continue operation by using a new domain for its website.


title: Predicting the Yield of Potential Venus Analogs from TESS and their Potential for Atmospheric Characterization

abstract: The transit method is biased toward short orbital period planets that are interior to their host star's Habitable Zone (HZ). These planets are particularly interesting from the perspective of exploring runaway greenhouse scenarios and the possibility of potential Venus analogs. Here, we conduct an analysis of predicted TESS planet yield estimates produced by Huang et al. (2018), as well as the TESS Object of Interest (TOI) list resulting from the observations of sectors 1 - 13 during Cycle 1 of the TESS primary mission. In our analysis we consider potential terrestrial planets that lie within their host star's Venus Zone (Kane et al. 2014). These requirements are then applied to a predicted planetary yield from the TESS primary mission (Huang et al. 2018) and the TOI list, which results in an estimated 259 Venus analogs by the end of the TESS primary mission, and 46 Venus analogs in the TOI list for sectors 1 - 13. We also calculate the estimated transmission spectroscopy signal-to-noise ratio (S/N) for Venus analogs from the predicted yield and TOI list if they were to be observed by the Near-Infrared Imager and Slitless Spectrograph (NIRISS) on the James Webb Space Telescope (JWST), as well as update the S/N cutoff values determined by Kempton et al. (2018). Our findings show that the best estimated Venus analogs and TOI Venus analogs with $R_{p} < 1.5 \, R_\odot$ have an estimated transmission spectroscopy S/N $> 40$ while planets with radii $2 \, R_\oplus < R_p < 4 \, R_\oplus$ can achieve S/N $> 100$


title: An Asymptotic Analysis on Generalized Secretary Problem

abstract: As a famous result, the ``37\% Law'' for Secretary Problem has widely influenced peoples' perception on online decision strategies about choice. However, using this strategy, too many attractive candidates may be rejected in the first 37\%, and in practice people also tend to stop earlier\cite{Bearden_early}. In this paper, we argued that in most cases, the best-only optimization does not obtain an optimal outcome, while the optimal cutoff should be $O(\sqrt{n})$. And we also showed that in some strict objective that only cares several best candidates, $\Theta(n)$ skips are still needed.


title: Higher Dimensional Cardinal Characteristics for Sets of Functions

abstract: Much recent work in cardinal characteristics has focused on generalizing results about $\omega$ to uncountable cardinals by studying analogues of classical cardinal characteristics on the generalized Baire and Cantor spaces $\kappa^\kappa$ and $2^\kappa$. In this note I look at generalizations to other function spaces, focusing particularly on the space of functions $f:\omega^\omega \to \omega^\omega$. By considering classical cardinal invariants on Baire space in this setting I derive a number of "higher dimensional" analogues of such cardinals, ultimately introducing 18 new cardinal invariants, alongside a framework that allows for numerous others. These 18 form two separate diagrams consisting of 6 and 12 cardinals respectively, each resembling versions of the Cicho\'n diagram. These ZFC-inequalities are the first main result of the paper. I then consider other relations between these cardinals, as well as the cardinal $\mathfrak{c}^+$ and show that these results rely on additional assumptions about cardinal characteristics on $\omega$. Finally, using variations of Cohen, Hechler, and localization forcing I prove a number of consistency results for possible values of the new cardinals.


title: Bridging Visual Perception with Contextual Semantics for Understanding Robot Manipulation Tasks

abstract: Understanding manipulation scenarios allows intelligent robots to plan for appropriate actions to complete a manipulation task successfully. It is essential for intelligent robots to semantically interpret manipulation knowledge by describing entities, relations and attributes in a structural manner. In this paper, we propose an implementing framework to generate high-level conceptual dynamic knowledge graphs from video clips. A combination of a Vision-Language model and an ontology system, in correspondence with visual perception and contextual semantics, is used to represent robot manipulation knowledge with Entity-Relation-Entity (E-R-E) and Entity-Attribute-Value (E-A-V) tuples. The proposed method is flexible and well-versed. Using the framework, we present a case study where robot performs manipulation actions in a kitchen environment, bridging visual perception with contextual semantics using the generated dynamic knowledge graphs.


title: The chemical composition of HIP34407/HIP34426 and other twin-star comoving pairs

abstract: We conducted a high-precision elemental abundance analysis of the twin-star comoving pair HIP34407/HIP34426. With mean error of 0.013 dex in the differential abundances (D[X/H]), a significant difference was found: HIP34407 is more metal-rich than HIP34426. The elemental abundance differences correlate strongly with condensation temperature, with the lowest for the volatile elements like carbon around 0.05+/-0.02 dex, and the highest up to about 0.22+/-0.01 dex for the most refractory elements like aluminum. Dissimilar chemical composition for stars in twin-star comoving pairs are not uncommon, thus we compile previously-published results like ours and look for correlations between abundance differences and stellar parameters, finding no significant trends with average effective temperature, surface gravity, iron abundance, or their differences. Instead, we found a weak correlation between the absolute value of abundance difference and the projected distance between the stars in each pair that appears to be more important for elements which have a low absolute abundance. If confirmed, this correlation could be an important observational constraint for binary star system formation scenarios.


title: The frequency of dust lanes in edge-on spiral galaxies identified by Galaxy Zoo in KiDS imaging of GAMA targets

abstract: Dust lanes bisect the plane of a typical edge-on spiral galaxy as a dark optical absorption feature. Their appearance is linked to the gravitational stability of spiral disks; the fraction of edge-on galaxies that displays a dust lane is a direct indicator of the typical vertical balance between gravity and turbulence; a balance struck between the energy input from star-formation and the gravitational pull into the plane of the disk. Based on morphological classifications by the Galaxy~Zoo project on the Kilo-Degree Survey (KiDS) imaging data in the Galaxy and Mass Assembly (GAMA) fields, we explore the relation of dust lanes to the galaxy characteristics, most of which were determined using the {\sc magphys} spectral energy distribution fitting tool: stellar mass, total and specific star-formation rates, and several parameters describing the cold dust component. We find that the fraction of dust lanes does depend on the stellar mass of the galaxy; they start to appear at $M^* \sim 10^9 M_\odot$. A dust lane also implies strongly a dust mass of at least $10^5 M_\odot$, but otherwise does not correlate with cold dust mass parameters of the {\sc magphys} spectral energy distribution analysis, nor is there a link with star-formation rate, specific or total. Dust lane identification does not depend on disk ellipticity (disk thickness) or Sersic profile but correlates with bulge morphology; a round bulge favors dust lane votes. The central component along the line of sight that produces the dust lane is not associated with either one of the components fit by {\sc magphys}, the cold diffuse component or the localized, heated component in HII regions, but a mix of these two.


title: A Case Study of Spreadsheet Use within the Finance and Academic Registry units within a Higher Education Institution

abstract: This paper presents the findings of a case study of spreadsheet use in a higher education institution in the UK. The paper considers the use of spreadsheets in two units of the organisation, academic registry and finance. Spreadsheet use is explored in terms of importance, training, experience, purpose, techniques deployed, size of spreadsheets created and sharing of spreadsheets. The implications of the results are then considered in terms of accurate reporting to external funding bodies such the funding councils, internal data integrity and internal data efficiencies. The results show a large volume of spreadsheets being created and used, that the profile of spreadsheet developers is typical of other studies of spreadsheet use and the need for the organisation to have clear principles and guidelines for the development of spreadsheet models in the organisation to ensure data integrity, reduce duplication of effort and to optimise the use of spreadsheets to meet the institutions goals.


title: First results from plasma edge biasing on SPECTOR

abstract: A description of an edge-biasing experiment conducted on the SPECTOR (Spherical Compact Toroid) plasma injector is presented, along with initial results. The insertion of a disc-shaped molybdenum electrode (probe), biased at up to +100V, into the edge of the CT (Compact Torus), resulted in up to 1kA radial current being drawn. Core electron temperature, as measured with a Thomson-scattering diagnostic, was found to increase by a factor of up to 2.4 in the optimal configuration tested. H_alpha intensity was observed to decrease, and CT lifetimes increased by a factor of up to 2.3. A significant reduction in electron density was observed; this is thought to be due to the effect of a transport barrier impeding CT fueling, where, as verified by MHD simulation, the fueling source is neutral gas that remains concentrated around the gas valves after CT formation.


title: Visualizing How Embeddings Generalize

abstract: Deep metric learning is often used to learn an embedding function that captures the semantic differences within a dataset. A key factor in many problem domains is how this embedding generalizes to new classes of data. In observing many triplet selection strategies for Metric Learning, we find that the best performance consistently arises from approaches that focus on a few, well selected triplets.We introduce visualization tools to illustrate how an embedding generalizes beyond measuring accuracy on validation data, and we illustrate the behavior of a range of triplet selection strategies.


title: Special Values of the Zeta Function of an Arithmetic Surface

abstract: We study the special value conjecture for the Zeta function of a proper regular arithmetic scheme X introduced by Flach and Morin in the case n=1. We compute the correction factor C(X,1) left unspecified in the original statement of the Flach-Morin Conjecture, thereby developing some results on the eh-topology introduced by Geisser. We then specialize further to the case where X is an arithmetic surface and show that the conjecture of Flach and Morin is equivalent to the Birch and Swinnerton-Dyer Conjecture.


title: Asymptotic expansions of solutions of the Yamabe equation and the $\sigma_k$-Yamabe equation near isolated singular points

abstract: We study asymptotic behaviors of positive solutions to the Yamabe equation and the $\sigma$k-Yamabe equation near isolated singular points and establish expansions up to arbitrary orders. Such results generalize an earlier pioneering work by Caffarelli, Gidas, and Spruck, and a work by Korevaar, Mazzeo, Pacard, and Schoen, on the Yamabe equation, and a work by Han, Li, and Teixeira on the $\sigma_k$-Yamabe equation. The study is based on a combination of classification of global singular solutions and an analysis of linearized operators at these global singular solutions. Such linearized equations are uniformly elliptic near singular points for $1 \leq k \leq n/2$ and become degenerate for $n/2 < k \leq n$. In a significant portion of the paper, we establish a degree 1 expansion for the $\sigma_k$-Yamabe equation for $n/2 < k < n$, generalizing a similar result for $k = 1$ by Korevaar, Mazzeo, Pacard, and Schoen and for $2 \leq k \leq n/2$ by Han, Li, and Teixeira.


title: Barrier function-Based Variable Gain Super-Twisting Controller

abstract: In this paper, a variable gain super-twisting algorithm based on a barrier function is proposed for a class of first order disturbed systems with uncertain control coefficient and whose disturbances derivatives are bounded but they are unknown. The specific feature of this algorithm is that it can ensure the convergence of the output variable and maintain it in a predefined neighborhood of zero independent of the upper bound of the disturbances derivatives. Moreover, thanks to the structure of the barrier function, it forces the gain to decrease together with the output variable which yields the non-overestimation of the control gain.


title: Uniform bounds on the image of the arboreal Galois representations attached to non-CM elliptic curves

abstract: Let $\ell$ be a prime number and let $F$ be a number field and $E/F$ a non-CM elliptic curve with a point $\alpha \in E(F)$ of infinite order. Attached to the pair $(E,\alpha)$ is the $\ell$-adic arboreal Galois representation $\omega_{E,\alpha,\ell^{\infty}} : {\rm Gal}(\overline{F}/F) \to \mathbb{Z}_{\ell}^{2} \rtimes {\rm GL}_{2}(\mathbb{Z}_{\ell})$ describing the action of ${\rm Gal}(\overline{F}/F)$ on points $\beta_{n}$ so that $\ell^{n} \beta_{n} = \alpha$. We give an explicit bound on the index of the image of $\omega_{E,\alpha,\ell^{\infty}}$ depending on how $\ell$-divisible the point $\alpha$ is, and the image of the ordinary $\ell$-adic Galois representation. The image of $\omega_{E,\alpha,\ell^{\infty}}$ is connected with the density of primes $\mathfrak{p}$ for which $\alpha \in E(\mathbb{F}_{\mathfrak{p}})$ has order coprime to $\ell$.


title: Meta-analysis of Gene Expression in Neurodegenerative Diseases Reveals Patterns in GABA Synthesis and Heat Stress Pathways

abstract: Neurodegenerative diseases are characterized as the progressive loss of neural cells, e.g. neurons, glial cells. Ageing, monogenic variations, viral infections, and many other factors are determined and speculated as causes for them. While many individual genes, such as APP for Alzheimer disease and HTT for Huntington disease, and biological pathways are studied for neurodegenerative diseases, system-wide pathogenesis studies are limited. In this study, we carried out a meta-analysis of RNA-Seq studies for three neurodegenerative diseases, namely Alzheimer's disease, Parkinson's disease and Amyotrophic Lateral Sclerosis (ALS) to minimize the batch effect derived differences and identify the similarly altered factors among studies. Our main assumption is that these three diseases share some pathological pathway pattern. For this purpose, we downloaded publicly available Alzheimer's disease (84 patients + 33 controls = 117 individuals), Parkinson's disease (28 patients + 43 controls = 71 individuals) and ALS (2 studies: 46 patients + 25 control = 71 individuals) RNA-Seq data from Sequence Read Archive (SRA) database. The significantly differentially expressed genes common to these studies were first identified and analyzed for the patterns in their pathways and variations. Our meta-analysis revealed the shared nature of differential gene expression and mutation load of the cellular heat stress response and GABA synthesis in neurodegenerative diseases. The downregulated GABA synthesis-related genes (e.g. GAD1 and GAD2) and the upregulated cellular heat stress response-related genes (e.g. DNAJB6 and HSP90AA1), in addition to their expression patterns, contain unique variations in samples from patients with neurodegenerative diseases. The significance of genes and pathways we identified in this study corroborated by the recent literature on neurodegenerative diseases.


title: Scenery Reconstruction for Random Walk on Random Scenery Systems

abstract: Consider a simple random walk on $\mathbb{Z}$ with a random coloring of $\mathbb{Z}$. Look at the sequence of the first $N$ steps taken in the random walk, together with the colors of the visited locations. We call this the record. From the record one can deduce the coloring of of the interval in $\mathbb{Z}$ that was visited, which is of size approximately $\sqrt{N}$. This is called scenery reconstruction. Now suppose that an adversary may change $\delta N$ entries in the record that was obtained. What can be deduced from the record about the scenery now? In this paper we show that it is likely that we can still reconstruct a large part of the scenery. More precisely, we show that for any $\theta<0.5,p>0,\epsilon>0$, there are $N_{0}$ and $\delta_{0}$ such that if $N>N_{0}$ and $\delta<\delta_{0}$ then with probability $>1-p$, the walk is such that we can reconstruct the coloring of $>N^{\theta}$ integers, up to a number of possible reconstructions that is less than $2^{\epsilon s}$, where $s$ is the number of integers whose color we reconstruct.


title: Multimodal Dataset of Human-Robot Hugging Interaction

abstract: A hug is a tight embrace and an expression of warmth, sympathy and camaraderie. Despite the fact that a hug often only takes a few seconds, it is filled with details and nuances and is a highly complex process of coordination between two agents. For human-robot collaborative tasks, it is necessary for humans to develop trust and see the robot as a partner to perform a given task together. Datasets representing agent-agent interaction are scarce and, if available, of limited quality. To study the underlying phenomena and variations in a hug between a person and a robot, we deployed Baxter humanoid robot and wearable sensors on persons to record 353 episodes of hugging activity. 33 people were given minimal instructions to hug the humanoid robot for as natural hugging interaction as possible. In the paper, we present our methodology and analysis of the collected dataset. The use of this dataset is to implement machine learning methods for the humanoid robot to learn to anticipate and react to the movements of a person approaching for a hug. In this regard, we show the significance of the dataset by highlighting certain features in our dataset.


title: 35 megawatt multicycle THz pulses from a homemade periodically poled macrocrystal

abstract: High-power multicycle THz radiation is highly sought after with applications in medicine, imaging, spectroscopy, characterization and manipulation of condensed matter, and could support the development of next-generation compact laser-based accelerators with applications in electron microscopy, ultrafast X-ray sources and sub-femtosecond longitudinal diagnostics. Multicycle THz-radiation can be generated by shooting an appropriate laser through a periodically poled nonlinear crystal, e.g. lithium niobate (PPLN). Unfortunately, the manufacturing processes of PPLNs require substantially strong electric fields $\mathcal{O}(10~kV/mm)$ across the crystal width to locally reverse the polarization domains; this limits the crystal apertures to below 1 cm. Damage threshold limitations of lithium niobate thereby limits the laser power which can be shone onto the crystal, which inherently limits the production of high-power THz pulses. Here we show that in the THz regime, a PPLN crystal can be mechanically constructed in-air by stacking lithium niobate wafers together with 180$^{\circ}$ rotations to each other. The relatively long (mm) wavelengths of the generated THz radiation compared to the small gaps ($\sim$10 $\mu$m) between wafers supports a near-ideal THz transmission between wafers. We demonstrate the concept using a Joule-class laser system with $\sim$50 mm diameter wafers and measure up to 1.3 mJ of THz radiation corresponding to a peak power of $\sim$35 MW, a 50 times increase in THz power compared to previous demonstrations. Our results indicate that high-power THz radiation can be produced with existing and future high-power lasers in a scalable way, setting a course toward multi-gigawatt THz pulses. Moreover the simplicity of the scheme provides a simple way to synthesize waveforms for a variety of applications.


title: Exceptional jumps of Picard ranks of reductions of K3 surfaces over number fields

abstract: Given a K3 surface $X$ over a number field $K$ with potentially good reduction everywhere, we prove that the set of primes of $K$ where the geometric Picard rank jumps is infinite. As a corollary, we prove that either $X_{\overline{K}}$ has infinitely many rational curves or $X$ has infinitely many unirational specializations. Our result on Picard ranks is a special case of more general results on exceptional classes for K3 type motives associated to GSpin Shimura varieties. These general results have several other applications. For instance, we prove that an abelian surface over a number field $K$ with potentially good reduction everywhere is isogenous to a product of elliptic curves modulo infinitely many primes of $K$.


title: Efficient 3D Fully Convolutional Networks for Pulmonary Lobe Segmentation in CT Images

abstract: The human lung is a complex respiratory organ, consisting of five distinct anatomic compartments called lobes. Accurate and automatic segmentation of these pulmonary lobes from computed tomography (CT) images is of clinical importance for lung disease assessment and treatment planning. However, this task is challenging due to ambiguous lobar boundaries, anatomical variations and pathological deformations. In this paper, we propose a high-resolution and efficient 3D fully convolutional network to automatically segment the lobes. We refer to the network as Pulmonary Lobe Segmentation Network (PLS-Net), which is designed to efficiently exploit 3D spatial and contextual information from high-resolution volumetric CT images for effective volume-to-volume learning and inference. The PLS-Net is based on an asymmetric encoder-decoder architecture with three novel components: (i) 3D depthwise separable convolutions to improve the network efficiency by factorising each regular 3D convolution into two simpler operations; (ii) dilated residual dense blocks to efficiently expand the receptive field of the network and aggregate multi-scale contextual information for segmentation; and (iii) input reinforcement at each downsampled resolution to compensate for the loss of spatial information due to convolutional and downsampling operations. We evaluated the proposed PLS-Net on a multi-institutional dataset that consists of 210 CT images acquired from patients with a wide range of lung abnormalities. Experimental results show that our PLS-Net achieves state-of-the-art performance with better computational efficiency. Further experiments confirm the effectiveness of each novel component of the PLS-Net.


title: Uniformly Factoring Weakly Compact operators and Parametrized Dualization

abstract: This paper deals with the problem of when, given a collection $\mathcal C$ of weakly compact operators between separable Banach spaces, there exists a separable reflexive Banach space $Z$ with a Schauder basis so that every element in $\mathcal C$ factors through $Z$ (or through a subspace of $Z$). A sample result is the existence of a reflexive space $Z$ with a Schauder basis so that for each separable Banach space $X$, each weakly compact operator from $X$ to $L_1$ factors through $Z$. We also prove the following descriptive set theoretical result: Let $\mathcal L$ be the standard Borel space of bounded operators between separable Banach spaces. We show that if $\mathcal B$ is a Borel subset of weakly compact operators between Banach spaces with separable duals, then the assignment $A\in \mathcal B\to A^*$ can be realized by a Borel map $\mathcal B\to \mathcal L$.


title: Experimental Validation of Stable Coordination for Multi-Robot Systems with Limited Fields of View using a PortableMulti-Robot Testbed

abstract: In this paper, we address the problem of stable coordinated motion in multi-robot systems with limited fields of view (FOVs). These problems arise naturally for multi-robot systems that interact based on sensing, such as our case study of multiple unmanned aerial vehicles (UAVs) each equipped with several cameras that are used for detecting neighboring UAVs. In this context, our contributions are: i) first, we derive a framework for studying stable motion and distributed topology control for multi-robot systems with limited FOVs; and ii) Then, we provide experimental results in indoor and challenging outdoor environments (e.g., with wind speeds up to 10 mph) with a team of UAVs to demonstrate the performance of the proposed control framework using a portable multi-robot experimental set-up.


title: Tracking the Picoscale Spatial Motion of Atomic Columns During Dynamic Structural Change

abstract: In many materials systems, such as catalytic nanoparticles, the ability to characterize dynamic atomic structural changes is important for developing a more fundamental understanding of functionality. Recent developments in direct electron detection now allow image series to be acquired at frame rates on the order of 1000 frames per second in bright-field transmission electron microscopy (BF TEM), which could potentially allow dynamic changes in the atomic structure of individual nanoparticles to be characterized with millisecond temporal resolution in favourable cases. However, extracting such data from TEM image series requires the development of computational methods that can be applied to very large datasets and are robust in the presence of noise and in the non-ideal imaging conditions of some types of environmental TEM experiments. Here, we present a two-dimensional Gaussian fitting algorithm to track the position and intensities of atomic columns in temporally resolved BF TEM image series. We have tested our algorithm on experimental image series of Ce atomic columns near the surface of a ceria (CeO2) nanoparticle with electron beam doses of ~125-5000 e-{\AA}-2 per frame. The accuracy of the algorithm for locating atomic column positions is compared to that of the more traditional centroid fitting technique, and the accuracy of intensity measurements is evaluated as a function of dose per frame. The code developed here, and the methodology used to explore the errors and limitations of the measurements, could be applied more broadly to any temporally resolved TEM image series to track dynamic atomic column motion.


title: The Intrinsic Normal Cone For Artin Stacks

abstract: We extend the construction of the normal cone of a closed embedding of schemes to any locally of finite type morphism of higher Artin stacks and show that in the Deligne-Mumford case our construction recovers the relative intrinsic normal cone of Behrend and Fantechi. We characterize our extension as the unique one satisfying a short list of axioms, and use it to construct the deformation to the normal cone. As an application of our methods, we associate to any morphism of Artin stacks equipped with a choice of a global perfect obstruction theory a relative virtual fundamental class in the Chow group of Kresch.


title: On correctness of an n queens program

abstract: Thom Fr\"uhwirth presented a short, elegant and efficient Prolog program for the n queens problem. However the program may be seen as rather tricky and one may be not convinced about its correctness. This paper explains the program in a declarative way, and provides proofs of its correctness and completeness. The specification and the proofs are declarative, i.e. they abstract from any operational semantics. The specification is approximate, it is unnecessary to describe the program's semantics exactly. Despite the program works on non-ground terms, this work employs the standard semantics, based on logical consequence and Herbrand interpretations. Another purpose of the paper is to present an example of precise declarative reasoning about the semantics of a logic program.


title: Z-Net: an Anisotropic 3D DCNN for Medical CT Volume Segmentation

abstract: Accurate volume segmentation from the Computed Tomography (CT) scan is a common prerequisite for pre-operative planning, intra-operative guidance and quantitative assessment of therapeutic outcomes in robot-assisted Minimally Invasive Surgery (MIS). 3D Deep Convolutional Neural Network (DCNN) is a viable solution for this task, but is memory intensive. Small isotropic patches are cropped from the original and large CT volume to mitigate this issue in practice, but it may cause discontinuities between the adjacent patches and severe class-imbalances within individual sub-volumes. This paper presents a new 3D DCNN framework, namely Z-Net, to tackle the discontinuity and class-imbalance issue by preserving a full field-of-view of the objects in the XY planes using anisotropic spatial separable convolutions. The proposed Z-Net can be seamlessly integrated into existing 3D DCNNs with isotropic convolutions such as 3D U-Net and V-Net, with improved volume segmentation Intersection over Union (IoU) - up to $12.6\%$. Detailed validation of Z-Net is provided for CT aortic, liver and lung segmentation, demonstrating the effectiveness and practical value of Z-Net for intra-operative 3D navigation in robot-assisted MIS.


title: Deep Neural Networks for Choice Analysis: Architectural Design with Alternative-Specific Utility Functions

abstract: Whereas deep neural network (DNN) is increasingly applied to choice analysis, it is challenging to reconcile domain-specific behavioral knowledge with generic-purpose DNN, to improve DNN's interpretability and predictive power, and to identify effective regularization methods for specific tasks. This study designs a particular DNN architecture with alternative-specific utility functions (ASU-DNN) by using prior behavioral knowledge. Unlike a fully connected DNN (F-DNN), which computes the utility value of an alternative k by using the attributes of all the alternatives, ASU-DNN computes it by using only k's own attributes. Theoretically, ASU-DNN can dramatically reduce the estimation error of F-DNN because of its lighter architecture and sparser connectivity. Empirically, ASU-DNN has 2-3% higher prediction accuracy than F-DNN over the whole hyperparameter space in a private dataset that we collected in Singapore and a public dataset in R mlogit package. The alternative-specific connectivity constraint, as a domain-knowledge-based regularization method, is more effective than the most popular generic-purpose explicit and implicit regularization methods and architectural hyperparameters. ASU-DNN is also more interpretable because it provides a more regular substitution pattern of travel mode choices than F-DNN does. The comparison between ASU-DNN and F-DNN can also aid in testing the behavioral knowledge. Our results reveal that individuals are more likely to compute utility by using an alternative's own attributes, supporting the long-standing practice in choice modeling. Overall, this study demonstrates that prior behavioral knowledge could be used to guide the architecture design of DNN, to function as an effective domain-knowledge-based regularization method, and to improve both the interpretability and predictive power of DNN in choice analysis.


title: Coupling of Wind Farms with Nuclear Power Plants

abstract: In the planning phase of siting both new Wind Farms (WFs) and Nuclear Power Plants (NPPs), many benefits and challenges exist. An important aspect taken into consideration during the NPP siting is the existence of ultimate heat sink which is sea water in most cases. That is why most NPPs are sited on sea coasts. On the other hand, during WF siting, the main influential aspect is the existence of good wind resources. Many coastal areas around the world fulfill this requirement for WF siting. Coupling both NPPs and WFs in one site or nearby has many benefits and obstacles as well. In this paper, the implementation aspects of NPP and WF coupling/adjacency will be discussed in detail. Based on international experience and literature reviews, the benefits and obstacles of this coupling/adjacency are studied and evaluated. Various case studies are carried out to verify the coupling/adjacency concept. The benefits of WF geographical distribution are examined on two candidate sites in Egypt. The WF capacity credit is calculated by implementing the PJM method using actual three-year hourly wind data. The obtained results are evaluated to study their applicability in the Egyptian environment and their applicability for countries in the Gulf region. Finally, both the coupling idea and the capacity credit values can be used to help decision makers in the planning phase as well as in the selection of WT characteristics as discussed in this paper.


title: The Animal-AI Environment: Training and Testing Animal-Like Artificial Cognition

abstract: Recent advances in artificial intelligence have been strongly driven by the use of game environments for training and evaluating agents. Games are often accessible and versatile, with well-defined state-transitions and goals allowing for intensive training and experimentation. However, agents trained in a particular environment are usually tested on the same or slightly varied distributions, and solutions do not necessarily imply any understanding. If we want AI systems that can model and understand their environment, we need environments that explicitly test for this. Inspired by the extensive literature on animal cognition, we present an environment that keeps all the positive elements of standard gaming environments, but is explicitly designed for the testing of animal-like artificial cognition.


title: Ultracold polar molecules as qudits

abstract: We discuss how the internal structure of ultracold molecules, trapped in the motional ground state of optical tweezers, can be used to implement qudits. We explore the rotational, fine and hyperfine structure of $^{40}$Ca$^{19}$F and $^{87}$Rb$^{133}$Cs, which are examples of molecules with $^2\Sigma$ and $^1\Sigma$ electronic ground states, respectively. In each case we identify a subset of levels within a single rotational manifold suitable to implement a 4-level qudit. Quantum gates can be implemented using two-photon microwave transitions via levels in a neighboring rotational manifold. We discuss limitations to the usefulness of molecular qudits, arising from off-resonant excitation and decoherence. As an example, we present a protocol for using a molecular qudit of dimension $d=4$ to perform the Deutsch algorithm.


title: Projections onto the Set of Feasible Inputs and the Set of Feasible Solutions

abstract: We study the projection onto the set of feasible inputs and the set of feasible solutions of a polynomial optimisation problem (POP). Our motivation is increasing the robustness of solvers for POP: Without a priori guarantees of feasibility of a particular instance, one should like to perform the projection onto the set of feasible inputs prior to running a solver. Without a certificate of optimality, one should like to project the output of the solver onto the set of feasible solutions subsequently. We study the computational complexity, formulations, and convexifications of the projections. Our results are illustrated on IEEE test cases of Alternating Current Optimal Power Flow (ACOPF) problem.