title: Global Priors Guided Modulation Network for Joint Super-Resolution and Inverse Tone-Mapping

abstract: Joint super-resolution and inverse tone-mapping (SR-ITM) aims to enhance the visual quality of videos that have quality deficiencies in resolution and dynamic range. This problem arises when using 4K high dynamic range (HDR) TVs to watch a low-resolution standard dynamic range (LR SDR) video. Previous methods that rely on learning local information typically cannot do well in preserving color conformity and long-range structural similarity, resulting in unnatural color transition and texture artifacts. In order to tackle these challenges, we propose a global priors guided modulation network (GPGMNet) for joint SR-ITM. In particular, we design a global priors extraction module (GPEM) to extract color conformity prior and structural similarity prior that are beneficial for ITM and SR tasks, respectively. To further exploit the global priors and preserve spatial information, we devise multiple global priors guided spatial-wise modulation blocks (GSMBs) with a few parameters for intermediate feature modulation, in which the modulation parameters are generated by the shared global priors and the spatial features map from the spatial pyramid convolution block (SPCB). With these elaborate designs, the GPGMNet can achieve higher visual quality with lower computational complexity. Extensive experiments demonstrate that our proposed GPGMNet is superior to the state-of-the-art methods. Specifically, our proposed model exceeds the state-of-the-art by 0.64 dB in PSNR, with 69$\%$ fewer parameters and 3.1$\times$ speedup. The code will be released soon.


title: Hereditarily indecomposable continua as generic mathematical structures

abstract: We characterize the pseudo-arc as well as P-adic pseudo-solenoids (for a set of primes P) as generic structures, arising from a natural game in which two players alternate in building an inverse sequence of surjections. The second player wins if the limit of this sequence is homeomorphic to a concrete (fixed in advance) space, called generic whenever the second player has a winning strategy. For this aim, we develop a new approximate Fra\"iss\'e theory, in order to realize the above-mentioned objects (the pseudo-arc and the pseudo-solenoids) as Fra\"iss\'e limits. Our framework extends the discrete Fra\"iss\'e theory, both classical and projective, and is also suitable for working directly with continuous maps on metrizable compacta. We show, in particular, that, when playing with continuous surjections between non-degenerate Peano continua, the pseudo-arc is always generic. The universal pseudo-solenoid appears to be generic over all surjections between circle-like continua.


title: Emergent orbital magnetization in Kitaev quantum magnets

abstract: Unambiguous identification of the Kitaev quantum spin liquid (QSL) in materials remains a huge challenge despite many encouraging signs from various measurements. To facilitate the experimental detection of the Kitaev QSL, here we propose to use remnant charge response in Mott insulators hosting QSL to identify the key signatures of QSL. We predict an emergent orbital magnetization in a Kitaev system in an external magnetic field. The direction of the orbital magnetization can be flipped by rotating the external magnetic field in the honeycomb plane. The orbital magnetization is demonstrated explicitly through a detailed microscopic analysis of the multiorbital Hubbard-Kanamori Hamiltonian and also supported by a phenomenological picture. We first derive the localized electrical loop current operator in terms of the spin degrees of freedom. Thereafter, utilizing the Majorana representation, we estimate the loop currents in the ground state of the chiral Kitaev QSL state, and obtain the consequent current textures, which are responsible for the emergent orbital magnetization. Finally, we discuss the possible experimental techniques to visualize the orbital magnetization which can be considered as the signatures of the underlying excitations.


title: AVisT: A Benchmark for Visual Object Tracking in Adverse Visibility

abstract: One of the key factors behind the recent success in visual tracking is the availability of dedicated benchmarks. While being greatly benefiting to the tracking research, existing benchmarks do not pose the same difficulty as before with recent trackers achieving higher performance mainly due to (i) the introduction of more sophisticated transformers-based methods and (ii) the lack of diverse scenarios with adverse visibility such as, severe weather conditions, camouflage and imaging effects. We introduce AVisT, a dedicated benchmark for visual tracking in diverse scenarios with adverse visibility. AVisT comprises 120 challenging sequences with 80k annotated frames, spanning 18 diverse scenarios broadly grouped into five attributes with 42 object categories. The key contribution of AVisT is diverse and challenging scenarios covering severe weather conditions such as, dense fog, heavy rain and sandstorm; obstruction effects including, fire, sun glare and splashing water; adverse imaging effects such as, low-light; target effects including, small targets and distractor objects along with camouflage. We further benchmark 17 popular and recent trackers on AVisT with detailed analysis of their tracking performance across attributes, demonstrating a big room for improvement in performance. We believe that AVisT can greatly benefit the tracking community by complementing the existing benchmarks, in developing new creative tracking solutions in order to continue pushing the boundaries of the state-of-the-art. Our dataset along with the complete tracking performance evaluation is available at: https://github.com/visionml/pytracking


title: Trapped mode control in metasurfaces composed of particles with the form birefringence property

abstract: Progress in developing advanced photonic devices relies on introducing new materials, discovered physical principles, and optimal designs when constructing their components. Optical systems operating on the principles of excitation of extremely high-quality factor trapped modes (also known as the bound states in the continuum, BICs) are of great interest since they allow the implementation of laser and sensor devices with outstanding characteristics. In this paper, we discuss how one can utilize the anisotropic properties of novel materials (transition metal dichalcogenides, TMDs), particularly, the bulk molybdenum disulfide (MoS2), to realize the excitation of trapped modes in dielectric metasurfaces. The bulk MoS2 is a thin-film structure in which the light wave behaves the same way as that in the uniaxial anisotropic material with the form birefringence property. Our metasurface is composed of an array of disk-shaped nanoparticles (resonators) made of the MoS2 material under the assumption that the anisotropy axis of MoS2 can be tilted to the rotation axis of the disks. We perform a detailed analysis of eigenwaves and scattering properties of such anisotropic resonators as well as the spectral features of the metasurface revealing dependence of the excitation conditions of the trapped mode on the anisotropy axis orientation of the MoS2 material used.


title: Special homogeneous curves

abstract: We classify all special homogeneous curves. A special homogeneous curve $\mathcal{H}$ consists of connected components of the hyperbolic points in the level set $\{h=1\}$ of a homogeneous polynomial $h$ in two real variables of degree at least three, and admits a transitive group action of a subgroup $G\subset\mathrm{GL}(2)$ on $\mathcal{H}$ that acts via linear coordinate change.


title: Chern insulators and high Curie temperature Dirac half-metal in two-dimensional metal-organic frameworks

abstract: Two-dimensional (2D) magnetic materials with nontrivial topological states have drawn considerable attention recently. Among them, 2D metal-organic frameworks (MOFs) are standing out due to their advantages, such as the easy synthesis in practice and less sensitivity to oxidation that are distinctly different from inorganic materials. By means of density-functional theory calculations, we systematically investigate the electronic and topological properties of a class of 2D MOFs X(C21H15N3) (X = transition metal element from 3d to 5d). Excitingly, we find that X(C21H15N3) (X = Ti, Zr, Ag, Au) are Chern insulators with sizable band gaps (~7.1 meV). By studying a four-band effective model, it is revealed that the Chern insulator phase in X(C21H15N3) (X = Ti, Zr, Ag, Au) is caused cooperatively by the band inversion of the p orbitals of the C21H15N3 molecule and the intrinsic ferromagnetism of X(C21H15N3). Additionally, Mn(C21H15N3) is a Dirac half-metal ferromagnet with a high Curie temperature up to 156 K. Our work demonstrates that 2D MOFs X(C21H15N3) are good platforms for realizing Quantum anomalous Hall effect and designing novel spintronic devices based on half-metals with high-speed and long-distance spin transport.


title: A polymer brush theory for quantitative prediction of maximum height change between dry and wet states

abstract: Polymer brushes can grow on almost any solid surface, and by design, exhibit diverse properties and functionalities, thus they have been widely used in many emerging applications in engineering, energy, and medicine. In particular, some applications such as actuation, molecule release, and friction switch require the polymer brushes to change their heights between dry and wet states, and maximizing such height change is critical for the optimal performance of these applications. While scaling laws have long been proposed to qualitatively determine brush heights, a theory that can quantitatively predict brush heights and conditions for maximizing brush height change is still lacking yet is valuable for the practical design of polymer brushes. Here, we take a thermodynamic approach to formulate a polymer brush theory to calculate brush heights at various conditions of graft area, degree of polymerization (DP), and solvent qualities. Our model consists of two parts-the freely-jointed chain model to describe the elasticity of brushes and the Flory-Rehner model to describe the mixing of brushes and solvents. The calculated brush heights at both dry and wet states fairly agree with the experimental data from the literature. The calculated brush heights are further used to determine the conditions for the maximum brush height change. Our theory can guide the design of polymer brushes for optimal functional performance in various applications and also can couple with other models to describe more complex behaviors of polymer brushes.


title: Finite temperature phases and excitations of bosons on a square lattice: A cluster mean field study

abstract: We study the finite temperature phases and collective excitations of hardcore as well as softcore bosons on a square lattice with nearest and next nearest neighbor interactions, focusing on the formation of various types of supersolid (SS) phases and their stability under thermal fluctuations. The interplay between the on-site, nearest, and next nearest neighbor interactions leads to various density ordering and structural transitions, which we have plotted out. Thermodynamic properties and phase diagrams are obtained by cluster mean field theory at finite temperatures, which includes quantum effects systematically, and they are compared with the single-site mean field results. We investigate the melting process of the SS phase to normal fluid (NF), which can occur in at least two steps due to the presence of two competing orders in the SS. A tetra-critical point exists at finite temperature and exhibits intriguing behavior, which is analyzed for different regimes of interactions. The phase diagrams reveal the different pathways of the thermal transition of SSs to the NF phase, for different interaction regimes, which can be accessible by thermal quench protocols used in recent experiments. We show how the phases and the transitions between them can be identified from the characteristic features of the excitation spectrum. We analyze the appearance of a low-energy gapped mode apart from the gapless sound mode in the SS phase, which is analogous to the gapped mode recently studied for dipolar SS phases. Finally, we discuss the relevance of the results of the present work in the context of ongoing experiments on ultracold atomic gases and newly observed SS phases.


title: The SVD of Convolutional Weights: A CNN Interpretability Framework

abstract: Deep neural networks used for image classification often use convolutional filters to extract distinguishing features before passing them to a linear classifier. Most interpretability literature focuses on providing semantic meaning to convolutional filters to explain a model's reasoning process and confirm its use of relevant information from the input domain. Fully connected layers can be studied by decomposing their weight matrices using a singular value decomposition, in effect studying the correlations between the rows in each matrix to discover the dynamics of the map. In this work we define a singular value decomposition for the weight tensor of a convolutional layer, which provides an analogous understanding of the correlations between filters, exposing the dynamics of the convolutional map. We validate our definition using recent results in random matrix theory. By applying the decomposition across the linear layers of an image classification network we suggest a framework against which interpretability methods might be applied using hypergraphs to model class separation. Rather than looking to the activations to explain the network, we use the singular vectors with the greatest corresponding singular values for each linear layer to identify those features most important to the network. We illustrate our approach with examples and introduce the DeepDataProfiler library, the analysis tool used for this study.


title: Thermodynamics of deterministic finite automata operating locally and periodically

abstract: Real-world computers have operational constraints that cause nonzero entropy production (EP). In particular, almost all real-world computers are ``periodic'', iteratively undergoing the same physical process; and ``local", in that subsystems evolve whilst physically decoupled from the rest of the computer. These constraints are so universal because decomposing a complex computation into small, iterative calculations is what makes computers so powerful. We first derive the nonzero EP caused by the locality and periodicity constraints for deterministic finite automata (DFA), a foundational system of computer science theory. We then relate this minimal EP to the computational characteristics of the DFA. We thus divide the languages recognised by DFA into two classes: those that can be recognised with zero EP, and those that necessarily have non-zero EP. We also demonstrate the thermodynamic advantages of implementing a DFA with a physical process that is agnostic about the inputs that it processes.


title: Length of sets under restricted families of projections onto lines

abstract: Let $\gamma: I \to S^2$ be a $C^2$ curve with $\det(\gamma, \gamma', \gamma'')$ nonvanishing, and for each $\theta \in I$ let $\rho_{\theta}$ be orthogonal projection onto the span of $\gamma(\theta)$. It is shown that if $A \subseteq \mathbb{R}^3$ is a Borel set of Hausdorff dimension strictly greater than 1, then $\rho_{\theta}(A)$ has positive length for a.e. $\theta \in I$. This answers a question raised by K\"aenm\"aki, Orponen and Venieri.


title: Towards computing high-order p-harmonic descent directions and their limits in shape optimization

abstract: We present an extension of an algorithm for the classical scalar $p$-Laplace Dirichlet problem to the vector-valued $p$-Laplacian with mixed boundary conditions in order to solve problems occurring in shape optimization using a $p$-harmonic approach. The main advantage of the proposed method is that no iteration over the order $p$ is required and thus allow the efficient computation of solutions for higher orders. We show that the required number of Newton iterations remains polynomial with respect to the number of grid points and validate the results by numerical experiments considering the deformation of shapes. Further, we discuss challenges arising when considering the limit of these problems from an analytical and numerical perspective, especially with respect to a change of sign in the source term.


title: Cavity induced many-body localization

abstract: In this manuscript, we explore the feasibility of achieving many-body localization in the context of cavity quantum electrodynamics at strong coupling. Working with a spinless electronic Hubbard chain sitting coupled to a single-mode cavity, we show that the global coupling between electrons and photons -- which generally would be expected to delocalize the fermionic excitations -- can instead favor the appearance of localization. This is supported by a novel high-frequency expansion that correctly accounts for electron-photon interaction at strong coupling, as well as numerical calculations in both single particle and many-bod regimes. We find evidence that many-body localization may survive strong quantum fluctuations of the photon number by exploring energy dependence, seeing signatures of localization down to photon numbers as small as $n\sim2$.


title: Study of stationary rigidly rotating anisotropic cylindrical fluids with new exact interior solutions of GR. 4. Radial pressure

abstract: This article belongs to a series where the influence of anisotropic pressure on the gravitational properties of rigidly rotating fluids is studied using new exactsolutions of GR constructed for the purpose. For mathematical simplification, stationarity and cylindrical symmetry implying three Killing vectors are considered. Moreover, two pressure components are set to vanish in turn. In Papers 1 and 2 the pressure is axially directed, while it is azimuthal in Paper 3. In present Paper 4, a radially directed pressure is considered. Since a generic differential equation, split into three parts, emerges from the field equations, three different classes of solutions can be considered. Two could only be partially integrated. The other one, that is fully integrated, yields a set of solutions with negative pressure. Physical processes where a negative pressure is encountered are depicted and give a rather solid foundation to this class of solutions. Moreover, these fully integrated solutions satisfy the axisymmetry condition while they do not verify the so-called "regularity condition". But, since their Kretschmann scalar does not diverge on the axis, this feature must be considered as reporting a mere coordinate singularity. Finally, the matching of these solutions to an exterior appropriate vacuum enforce other constraints on the two constant parameters defining each solution in the class. The results displayed here deserve to be interpreted in the light of those depicted in the other four papers in the series.


title: Convolutional Spiking Neural Networks for Detecting Anticipatory Brain Potentials Using Electroencephalogram

abstract: Spiking neural networks (SNNs) are receiving increased attention because they mimic synaptic connections in biological systems and produce spike trains, which can be approximated by binary values for computational efficiency. Recently, the addition of convolutional layers to combine the feature extraction power of convolutional networks with the computational efficiency of SNNs has been introduced. This paper studies the feasibility of using a convolutional spiking neural network (CSNN) to detect anticipatory slow cortical potentials (SCPs) related to braking intention in human participants using an electroencephalogram (EEG). Data was collected during an experiment wherein participants operated a remote-controlled vehicle on a testbed designed to simulate an urban environment. Participants were alerted to an incoming braking event via an audio countdown to elicit anticipatory potentials that were measured using an EEG. The CSNN's performance was compared to a standard CNN, EEGNet and three graph neural networks via 10-fold cross-validation. The CSNN outperformed all the other neural networks, and had a predictive accuracy of 99.06 percent with a true positive rate of 98.50 percent, a true negative rate of 99.20 percent and an F1-score of 0.98. Performance of the CSNN was comparable to the CNN in an ablation study using a subset of EEG channels that localized SCPs. Classification performance of the CSNN degraded only slightly when the floating-point EEG data were converted into spike trains via delta modulation to mimic synaptic connections.


title: On dispersive quantization and fractalization for the Kawahara equation

abstract: In this paper, we investigate the dichotomous behavior of solutions to the Kawahara equation with bounded variation initial data, analogous to the Talbot effect. Specifically, we observe that the solution is quantized at rational times, whereas at irrational times, it is a nowhere continuous differentiable function with a fractal profile. This phenomenon, however, has not been explored for the Kawahara equation, which is a fifth-order KdV type equation. To achieve this, we derive smoothing estimates for the nonlinear Duhamel solution, which, when combined with the known results on the linear solution, provides a mathematical description of the Talbot effect.


title: Towards Parallel Learned Sorting

abstract: We introduce a new sorting algorithm that is the combination of ML-enhanced sorting with the In-place Super Scalar Sample Sort (IPS4o). The main contribution of our work is to achieve parallel ML-enhanced sorting, as previous algorithms were limited to sequential implementations. We introduce the In-Place Parallel Learned Sort (IPLS) algorithm and compare it extensively against other sorting approaches. IPLS combines the IPS4o framework with linear models trained using the Fastest Minimum Conflict Degree algorithm to partition data. The experimental results do not crown IPLS as the fastest algorithm. However, they do show that IPLS is competitive among its peers and that using the IPS4o framework is a promising approach towards parallel learned sorting.


title: BRST Symmetry and the Convolutional Double Copy

abstract: Motivated by the results of Anastasiou et al., we consider the convolutional double copy for BRST and anti-BRST covariant formulations of gravitational and gauge theories in more detail. We give a general BRST and anti-BRST invariant formulation of linearised $\mathcal{N}=0$ supergravity using superspace methods and show how this may be obtained from the square of linearised Yang-Mills theories. We demonstrate this relation for the Schwarzschild black hole and the ten-dimensional black string solution as two concrete examples.


title: Observation of trap-assisted formation of atom-ion bound states

abstract: Pairs of free particles cannot form bound states in elastic collision due to momentum and energy conservation. In many ultracold experiments, however, the particles collide in the presence of an external trapping potential which can couple the center-of-mass and relative motions and assist the formation of bound-states. Here, we report on observation of weakly bound molecular states formed between one ultracold $^{87}$Rb atom and a single trapped $^{88}$Sr$^+$ ion in the presence of a linear Paul trap. We show that bound states can form efficiently in binary collisions, and enhance the rate of inelastic processes. By observing electronic spin-exchange rate, we study the dependence of these bound states on the collision energy and magnetic field and extract the average molecular binding energy $E_{\textrm{bind}}=0.7(1)$ mK$\cdot k_B$ and the mean lifetime of the molecule $\tau=0.5(1)\,\mu$s, with good agreement with molecular-dynamics simulations. Our simulations predict a highly unusual power-law distribution of molecular lifetimes with a mean that is dominated by extreme, long-lived, events. The dependence of the molecular properties on the trapping parameters opens new avenues to study and control ultracold collisions.


title: Revealing the Origin of Time-reversal Symmetry Breaking in Fe-chalcogenide Superconductor FeTe1-xSex

abstract: Recently evidence has emerged in the topological superconductor Fe-chalcogenide FeTe1-xSex for time-reversal symmetry breaking (TRSB), the nature of which has strong implications on the Majorana zero modes (MZM) discovered in this system. It remains unclear however whether the TRSB resides in the topological surface state (TSS) or in the bulk, and whether it is due to an unconventional TRSB superconducting order parameter or an intertwined order. Here by performing in superconducting FeTe1-xSex crystals both surface-magneto-optic-Kerr effect (SMOKE) measurements using a Sagnac interferometer and bulk magnetic susceptibility measurements, we pinpoint the TRSB to the TSS, where we also detect a Dirac gap. Further, we observe surface TRSB in non-superconducting FeTe1-xSex of nominally identical composition, indicating that TRSB arises from an intertwined surface ferromagnetic (FM) order. The observed surface FM bears striking similarities to the two-dimensional (2D) FM found in 2D van der Waals crystals, and is highly sensitive to the exact chemical composition, thereby providing a means for optimizing the conditions for Majorana particles that are useful for robust quantum computing.


title: Limits of an AI program for solving college math problems

abstract: Drori et al. (2022) report that "A neural network solves, explains, and generates university math problems by program synthesis and few-shot learning at human level ... [It] automatically answers 81\% of university-level mathematics problems." The system they describe is indeed impressive; however, the above description is very much overstated. The work of solving the problems is done, not by a neural network, but by the symbolic algebra package Sympy. Problems of various formats are excluded from consideration. The so-called "explanations" are just rewordings of lines of code. Answers are marked as correct that are not in the form specified in the problem. Most seriously, it seems that in many cases the system uses the correct answer given in the test corpus to guide its path to solving the problem.


title: Impossibility theorems involving weakenings of expansion consistency and resoluteness in voting

abstract: A fundamental principle of individual rational choice is Sen's $\gamma$ axiom, also known as expansion consistency, stating that any alternative chosen from each of two menus must be chosen from the union of the menus. Expansion consistency can also be formulated in the setting of social choice. In voting theory, it states that any candidate chosen from two fields of candidates must be chosen from the combined field of candidates. An important special case of the axiom is binary expansion consistency, which states that any candidate chosen from an initial field of candidates and chosen in a head-to-head match with a new candidate must also be chosen when the new candidate is added to the field, thereby ruling out spoiler effects. In this paper, we study the tension between this weakening of expansion consistency and weakenings of resoluteness, an axiom demanding the choice of a single candidate in any election. As is well known, resoluteness is inconsistent with basic fairness conditions on social choice, namely anonymity and neutrality. Here we prove that even significant weakenings of resoluteness, which are consistent with anonymity and neutrality, are inconsistent with binary expansion consistency. The proofs make use of SAT solving, with the correctness of a SAT encoding formally verified in the Lean Theorem Prover, as well as a strategy for generalizing impossibility theorems obtained for special types of voting methods (namely majoritarian and pairwise voting methods) to impossibility theorems for arbitrary voting methods. This proof strategy may be of independent interest for its potential applicability to other impossibility theorems in social choice.


title: Identification of the energy contributions associated with wall-attached eddies and very-large-scale motions in the near-neutral atmospheric surface layer through wind LiDAR measurements

abstract: Recent works on wall-bounded flows have corroborated the coexistence of wall-attached eddies, whose statistical features are predicted through Townsend's attached eddy hypothesis (AEH), and very-large-scale motions (VLSMs), which are not encompassed in the AEH. Furthermore, it has been shown that the presence of wall-attached eddies within the logarithmic layer is linked to the appearance of an inverse-power-law region in the streamwise velocity energy spectra, upon significant separation between outer and viscous scales. In this work, a near-neutral atmospheric surface layer (ASL) is probed with a wind LiDAR to investigate the contributions to the streamwise velocity energy associated with wall-attached and VLSMs for a very-high Reynolds-number boundary layer. Energy and linear coherence spectra (LCS) of the streamwise velocity are interrogated to identify the spectral boundaries associated with eddies of different typologies and the maximum height attained by wall-attached eddies. Inspired by the AEH, an analytical model for the LCS associated with wall-attached eddies is formulated. The experimental results show that the identification of the wall-attached-eddy energy contribution through the analysis of the energy spectra leads to an underestimate of the associated spectral range, maximum height attained, and turbulence intensity. This feature is due to the overlap of the energy associated with VLSMs obscuring the inverse-power-law region. On the other hand, the Townsend-Perry constant for the turbulence intensity seems to be properly estimated through the spectral analysis. The LCS analysis estimates wall-attached eddies with a streamwise/wall-normal ratio of about 14.3 attaining a height of about 30% of the outer scale of turbulence.


title: Solving boolean satisfiability problems with the quantum approximate optimization algorithm

abstract: The quantum approximate optimization algorithm (QAOA) is one of the most prominent proposed applications for near-term quantum computing. Here we study the ability of QAOA to solve hard constraint satisfaction problems, as opposed to optimization problems. We focus on the fundamental boolean satisfiability problem, in the form of random $k$-SAT. We develop analytic bounds on the average success probability of QAOA over random boolean formulae at the satisfiability threshold, as the number of variables $n$ goes to infinity. The bounds hold for fixed parameters and when $k$ is a power of 2. We complement these theoretical results with numerical results on the performance of QAOA for small $n$, showing that these match the limiting theoretical bounds closely. We then use these results to compare QAOA with leading classical solvers. In the case of random 8-SAT, we find that for around 14 ansatz layers, QAOA matches the scaling performance of the highest-performance classical solver we tested, WalkSATlm. For larger numbers of layers, QAOA outperforms WalkSATlm, with an ultimate level of advantage that is still to be determined. Our methods provide a framework for analysing the performance of QAOA for hard constraint satisfaction problems and finding further speedups over classical algorithms.


title: Spin-wave theory in a randomly disordered lattice: A Heisenberg ferromagnet

abstract: Starting from the hamiltonian for the Heisenberg ferromagnet which comprise randomly distributed nonmagnetic ions as impurities in a Bravais lattice, we express the spin operators by means of the Dyson-Maleev transformation in terms of the Bose operators of the second quantization. Then by using methods of quantum statistical field theory, we derive the partition function and the free energy for the system. We adopt the Matsubara thermal perturbation method to a portion of the hamiltonian which describes the interaction between magnons and the stationary field of nonmagnetic ions. Upon averaging over all possible distributions of impurities, we express the free energy of the system as a function of the mean impurity concentration. Subsequently, we set up the double-time single particle Green function at temperature T in the momentum space in terms of magnon operators and derive the equation of motion for the Green function through the Heisenberg equation of motion and then solve the resulting equation. From this, we calculate the self-energy and then the spectral density for the system. We apply the formalism to the case of the simple cubic lattice and compute the density of states, the spectral density function and the lifetime of the magnons as a function of energy for several values of the mean concentration of nonmagnetic ions in the lattice. We calculate magnon energy spectrum as a function of average impurity concentration fraction c, which shows that for low lying states, the excitation energy increases continuously with c in the studied range 0.1 < c < 0.7. We use the spectral density function to compute some thermal quantities. We have obtained closed form expressions for the configurationally averaged physical quantities of interest in a unified fashion as functions of c to any order of c applicable below a critical percolation concentration.


title: Repulsive vector interaction as a trigger for the non-conformal peak in $V_s^2$

abstract: Considering the NJL model with a repulsive vector channel, parametrized by $G_V$, I show that one may generate a non-monotonic behavior for the speed of sound which peaks at $V_s^2 > 1/3$. This can be achieved by assuming $G_V$ to be density dependent so that the resulting EoS is stiff/repulsive at low densities and soft/non-repulsive at high densities. The interpolation between the two regimes happens through a cross-over which takes place after the first order chiral transition sets in. The model explicitly shows that a non-conformal peak in $V_s^2$ is not in tension with the QCD trace anomaly being positive at all densities, supporting recent claims in this direction. A brief discussion on how the running coupling may affect the mass-radius relation is carried out in the context of simple non-strange quark stars.


title: Variations on Ramsey numbers and minimum numbers of monochromatic triangles in line $2$-colorings of configurations

abstract: This paper begins by exploring some old and new results about Ramsey numbers and minimum numbers of monochromatic triangles in $2$-colorings of complete graphs, both in the disjoint and non-disjoint cases. We then extend the theory, by defining line $2$-colorings of configurations of points and lines and considering the minimum number of non-disjoint monochromatic triangles. We compute specific examples for notable symmetric $v_{3}$ configurations before considering a general result regarding the addition or connected sum of configurations through incidence switches. The paper finishes by considering the maximal number of mutually intersecting lines and how this relates to the minimum number of triangles given a line $2$-coloring of a symmetric $v_{3}$ configuration.


title: Construction of Bias-preserving Operations for Pair-cat Code

abstract: Fault-tolerant quantum computation with depolarization error often requires demanding error threshold and resource overhead. If the operations can maintain high noise bias -- dominated by dephasing error with small bit-flip error -- we can achieve hardware-efficient fault-tolerant quantum computation with a more favorable error threshold. Distinct from two-level physical systems, multi-level systems (such as harmonic oscillators) can achieve a desirable set of bias-preserving quantum operations while using continuous engineered dissipation or Hamiltonian protection to stabilize to the encoding subspace. For example, cat codes stabilized with driven-dissipation or Kerr nonlinearity can possess a set of biased-preserving gates while continuously correcting bosonic dephasing error. However, cat codes are not compatible with continuous quantum error correction against excitation loss error, because it is challenging to continuously monitor the parity to correct photon loss errors. In this work, we generalize the bias-preserving operations to pair-cat codes, which can be regarded as a multimode generalization of cat codes, to be compatible with continuous quantum error correction against both bosonic loss and dephasing errors. Our results open the door towards hardware-efficient robust quantum information processing with both bias-preserving operations and continuous quantum error correction simultaneously correcting bosonic loss and dephasing errors.


title: Borel chromatic numbers of closed graphs and forcing with uniform trees

abstract: In this work, we continue the tradition initiated by Geschke, 2011 of viewing the uncountable Borel chromatic number of analytic graphs as cardinal invariants of the continuum. We show that various uncountable Borel chromatic numbers of closed graphs can be consistently different, as well as consistently equal to the continuum. This is done using arguments that are typical to Axiom A forcing notions.


title: Model Generalization: A Sharpness Aware Optimization Perspective

abstract: Sharpness-Aware Minimization (SAM) and adaptive sharpness-aware minimization (ASAM) aim to improve the model generalization. And in this project, we proposed three experiments to valid their generalization from the sharpness aware perspective. And our experiments show that sharpness aware-based optimization techniques could help to provide models with strong generalization ability. Our experiments also show that ASAM could improve the generalization performance on un-normalized data, but further research is needed to confirm this.


title: Synthesis of Semantic Actions in Attribute Grammars

abstract: Attribute grammars allow the association of semantic actions to the production rules in context-free grammars, providing a simple yet effective formalism to define the semantics of a language. However, drafting the semantic actions can be tricky and a large drain on developer time. In this work, we propose a synthesis methodology to automatically infer the semantic actions from a set of examples associating strings to their meanings. We also propose a new coverage metric, derivation coverage. We use it to build a sampler to effectively and automatically draw strings to drive the synthesis engine. We build our ideas into our tool, PANINI, and empirically evaluate it on twelve benchmarks, including a forward differentiation engine, an interpreter over a subset of Java bytecode, and a mini-compiler for C language to two-address code. Our results show that PANINI scales well with the number of actions to be synthesized and the size of the context-free grammar, significantly outperforming simple baselines.


title: MTCSNN: Multi-task Clinical Siamese Neural Network for Diabetic Retinopathy Severity Prediction

abstract: Diabetic Retinopathy (DR) has become one of the leading causes of vision impairment in working-aged people and is a severe problem worldwide. However, most of the works ignored the ordinal information of labels. In this project, we propose a novel design MTCSNN, a Multi-task Clinical Siamese Neural Network for Diabetic Retinopathy severity prediction task. The novelty of this project is to utilize the ordinal information among labels and add a new regression task, which can help the model learn more discriminative feature embedding for fine-grained classification tasks. We perform comprehensive experiments over the RetinaMNIST, comparing MTCSNN with other models like ResNet-18, 34, 50. Our results indicate that MTCSNN outperforms the benchmark models in terms of AUC and accuracy on the test dataset.


title: Gradient Mask: Lateral Inhibition Mechanism Improves Performance in Artificial Neural Networks

abstract: Lateral inhibitory connections have been observed in the cortex of the biological brain, and has been extensively studied in terms of its role in cognitive functions. However, in the vanilla version of backpropagation in deep learning, all gradients (which can be understood to comprise of both signal and noise gradients) flow through the network during weight updates. This may lead to overfitting. In this work, inspired by biological lateral inhibition, we propose Gradient Mask, which effectively filters out noise gradients in the process of backpropagation. This allows the learned feature information to be more intensively stored in the network while filtering out noisy or unimportant features. Furthermore, we demonstrate analytically how lateral inhibition in artificial neural networks improves the quality of propagated gradients. A new criterion for gradient quality is proposed which can be used as a measure during training of various convolutional neural networks (CNNs). Finally, we conduct several different experiments to study how Gradient Mask improves the performance of the network both quantitatively and qualitatively. Quantitatively, accuracy in the original CNN architecture, accuracy after pruning, and accuracy after adversarial attacks have shown improvements. Qualitatively, the CNN trained using Gradient Mask has developed saliency maps that focus primarily on the object of interest, which is useful for data augmentation and network interpretability.


title: Fundamental Theorems of Fourier-Stieltjes Transform Defined by Induced Representation on Locally Compact Group

abstract: This work addresses an extension of Fourier-Stieltjes transform of a vector measure defined on compact groups to locally compact groups, by using a group representation induced by a representation of one of its compact subgroups.


title: Single-channel EOG-based human-machine interface with exploratory assessments using harmonic source separation

abstract: There have been many studies on intelligent robotic systems for patients with motor impairments, where different sensor types and different human-machine interface (HMI) methods have been developed. However, these studies fail to achieve complex activity detection at the minimum sensing level. In this paper, exploratory approaches are adopted to investigate ocular activity dynamics and complex activity estimation using a single-channel EOG device. First, the stationarity of ocular activities during a static motion is investigated and some activities are found to be non-stationary. Further, no statistical difference is found between the envelope sequences in the temporal domain. However, when utilized as an alternative to a low-pass filter, high-frequency harmonic components in the frequency domain are found to improve contrasting ocular activities and the performance of the EOG-HMI-based activity detection system substantially. The activities are trained with different classifiers and their prediction success is evaluated with leave-one-session-out cross-validation. Accordingly, the two-dimensional CNN model achieved the highest performance with the accuracy of 72.35\%. Furthermore, the clustering performance is assessed using unsupervised learning and the results are evaluated in terms of how well the feature sets are grouped. The system is further tested in real-time with the graphical user interface and the scores and survey data of the subjects are used to verify the effectiveness.


title: Level compatibility in Sharifi's conjecture

abstract: Sharifi has constructed a map from the first homology of the modular curve $X_1(M)$ to the $K$-group $K_2(\mathbf{Z}[\zeta_M, \frac{1}{M}])$, where $\zeta_M$ is a primitive $M$th root of unity. We study how these maps relate when $M$ varies. Our method relies on the techniques developed by Sharifi and Venkatesh.


title: Lower bounds for negative moments of $\zeta'(\rho)$

abstract: We establish lower bounds for the discrete $2k$-th moment of the derivative of the Riemann zeta function at nontrivial zeros for all $k<0$ under the Riemann hypothesis (RH) and the assumption that all zeros of $\zeta(s)$ are simple.


title: Predicting Creep Failure by Machine Learning -- Which Features Matter?

abstract: Spatial and temporal features are studied with respect to their predictive value for failure time prediction in subcritical failure with machine learning (ML). Data are generated from simulations of a novel, brittle random fuse model (RFM), as well as elasto-plastic finite element simulations (FEM) of a stochastic plasticity model with damage, both models considering stochastic thermally activated damage/failure processes in disordered materials. Fuse networks are generated with hierarchical and nonhierarchical architectures. Random forests - a specific ML algorithm - allow us to measure the feature importance through a feature's average error reduction. RFM simulation data are found to become more predictable with increasing system size and temperature. Increasing the load or the scatter in local materials properties has the opposite effect. Damage accumulation in these models proceeds in stochastic avalanches, and statistical signatures such as avalanche rate or magnitude have been discussed in the literature as predictors of incipient failure. However, in the present study such features proved of no measurable use to the ML models, which mostly rely on global or local strain for prediction. This suggests the strain as viable quantity to monitor in future experimental studies as it is accessible via digital image correlation.


title: On the Map-Territory Fallacy Fallacy

abstract: This paper presents a meta-theory of the usage of the free energy principle (FEP) and examines its scope in the modelling of physical systems. We consider the so-called `map-territory fallacy' and the fallacious reification of model properties. By showing that the FEP is a consistent, physics-inspired theory of inferences of inferences, we disprove the assertion that the map-territory fallacy contradicts the principled usage of the FEP. As such, we argue that deploying the map-territory fallacy to criticise the use of the FEP and Bayesian mechanics itself constitutes a fallacy: what we call the {\it map-territory fallacy fallacy}. In so doing, we emphasise a few key points: the uniqueness of the FEP as a model of particles or agents that model their environments; the restoration of convention to the FEP via its relation to the principle of constrained maximum entropy; the `Jaynes optimality' of the FEP under this relation; and finally, the way that this meta-theoretical approach to the FEP clarifies its utility and scope as a formal modelling tool. Taken together, these features make the FEP, uniquely, {\it the} ideal model of generic systems in statistical physics.


title: Catalysis in Click Chemistry Reactions Controlled by Cavity Quantum Vacuum Fluctuations: The Case of endo/exo Diels-Alder Reaction

abstract: Achieving control over chemical reaction's rate and stereoselectivity realizes one of the Holy Grails in chemistry that can revolutionize chemical and pharmaceutical industries. Strong light-matter interaction in optical or nanoplasmonic cavities might provide the knob to reach such control. In this work, we demonstrate the catalytic and selectivity control of an optical cavity for two selected Diels-Alder cycloaddition reactions using the quantum electrodynamics coupled cluster (QED-CC) method. Herein, we find that by changing the molecular orientation with respect to the polarization of the cavity mode the reactions can be significantly inhibited or selectively enhanced to produce major endo or exo products on demand. This work highlights the potential of utilizing quantum vacuum fluctuations of an optical cavity to modulate the rate of Diels-Alder cycloaddition reactions and to achieve stereoselectivity in a practical and non-intrusive way. We expect that the present findings will be applicable to a larger set of relevant click chemical reactions under strong light-matter coupling conditions.


title: Spin-Flavor Precession Phase Effects in Supernova

abstract: We study the phase effects driven by neutrino magnetic moment for Majorana neutrinos in a core collapse supernova. A neutrino with a large magnetic moment is emitted in a superposition of energy eigenstates from the neutrinosphere. These energy eigenstates can interfere to create a phase effect at a partially adiabatic spin flavor precession (SFP) resonance. We examine the dependence of the SFP phase effect on the size of the neutrino magnetic moment as well as its variation with the post bounce time. In particular, at late post-bounce times the SFP resonance becomes wider and eventually overlaps with the Mikheev-Smirnov-Wolfenstein (MSW) resonance. At this point, Landau-Zener criteria for adiabaticity can no longer be applied to individual resonances, but we show that SFP phase effect is still present after the overlap. We also discuss the observability of the SFP phase effect at late post bounce times where it is more likely to make an impact. Our analysis for the Deep Underground Neutrino Experiment (DUNE) reveals that at low energies event rates do not fluctuate despite the presence of a sizable SFP phase effect. We find larger event rate fluctuations at high energies, but these fluctuations are also erased in the energy spectra of the observed charged leptons. A more refined treatment of electron fraction and the inclusion of neutrino-neutrino interactions may change our conclusions for observability in future studies.


title: Untangling Force-Directed Layouts Using Persistent Homology

abstract: Force-directed layouts belong to a popular class of methods used to position nodes in a node-link diagram. However, they typically lack direct consideration of global structures, which can result in visual clutter and the overlap of unrelated structures. In this paper, we use the principles of persistent homology to untangle force-directed layouts thus mitigating these issues. First, we devise a new method to use 0-dimensional persistent homology to efficiently generate an initial graph layout. The approach results in faster convergence and better quality graph layouts. Second, we provide a new definition and an efficient algorithm for 1-dimensional persistent homology features (i.e., tunnels/cycles) on graphs. We provide users the ability to interact with the 1-dimensional features by highlighting them and adding cycle-emphasizing forces to the layout. Finally, we evaluate our approach with 32 synthetic and real-world graphs by computing various metrics, e.g., co-ranking, edge crossing, etc., to demonstrate the efficacy of our proposed method.


title: The Growing US-Mexico Natural Gas Trade and Its Regional Economic Impacts in Mexico

abstract: With the recent administration change in Mexico, the fluctuations in national energy policy have generated widespread concerns among investors and the public. The debate centers around Mexico's energy dependence on the US and how Mexico's energy development should move forward. The goal of this study is two-fold. We first review the history and background of the recent energy reforms in Mexico. The focus of the study is on quantifying the state-level regional economic impact of the growing US-Mexico natural gas trade in Mexico. We examine both the quantity effect (impact of import volume) and the price effect (impact of natural gas price changes). Our empirical analysis adopts a fixed-effects regression model and the instrumental variables (IV) estimation approach to address spatial heterogeneities and the potential endogeneity associated with natural gas import. The quantity effect analysis suggests a statistically significant positive employment impact of imports in non-mining sectors. The impact in the mining sector, however, is insignificant. The state-level average (non-mining) employment impact is 127 jobs per million MCFs of natural gas imported from the US. The price effect analysis suggests a statistically significant positive employment impact of price increases in the mining sector. A one-percentage increase in natural gas price (1.82 Pesos/GJ, in 2015 Peso) leads to an average state-level mining employment increase of 140 (or 2.38%). We also explored the implications of our findings for Mexico's energy policy, trade policy, and energy security.


title: Discrete sets definable in strong expansions of ordered Abelian groups

abstract: We study the structure of infinite discrete sets D definable in expansions of ordered Abelian groups whose theories are strong and definably complete, with particular emphasis on the set D' comprised of differences between successive elements. In particular, if the burden of the structure is at most n, then the result of applying the operation taking D to D' n times must be a finite set (Theorem 1.1). In the case when the structure is densely ordered and has burden 2, we show that any definable unary discrete set must be definable in some elementary extension of the structure (R; <, +, Z) (Theorem 1.3).


title: Do Investors Hedge Against Green Swans? Option-Implied Risk Aversion to Wildfires

abstract: Measuring beliefs about natural disasters is challenging. Deep out-of-the-money options allow investors to hedge at a range of strikes and time horizons, thus the 3-dimensional surface of firm-level option prices provides information on (i) skewed and fat-tailed beliefs about the impact of natural disaster risk across space and time dimensions at daily frequency; and (ii) information on the covariance of wildfire-exposed stocks with investors' marginal utility of wealth. Each publicly-traded company's daily surface of option prices is matched with its network of establishments and wildfire perimeters over two decades. First, wildfires affect investors' risk neutral probabilities at short and long maturities; investors price asymmetric downward tail risk and a probability of upward jumps. The volatility smile is more pronounced. Second, comparing risk-neutral and physical distributions reveals the option-implied risk aversion with respect to wildfire-exposed stock prices. Investors' marginal utility of wealth is correlated with wildfire shocks. Option-implied risk aversion identifies the wildfire-exposed share of portfolios. For risk aversions consistent with Barro (2012), equity options suggest (i) investors hold larger shares of wildfire-exposed stocks than the market portfolio; or (ii) investors may have more pessimistic beliefs about wildfires' impacts than what observed returns suggest, such as pricing low-probability unrealized downward tail risk. We calibrate options with models featuring both upward and downward risk. Results are consistent a significant pricing of downward jumps.


title: A Theory for Knowledge Transfer in Continual Learning

abstract: Continual learning of a stream of tasks is an active area in deep neural networks. The main challenge investigated has been the phenomenon of catastrophic forgetting or interference of newly acquired knowledge with knowledge from previous tasks. Recent work has investigated forward knowledge transfer to new tasks. Backward transfer for improving knowledge gained during previous tasks has received much less attention. There is in general limited understanding of how knowledge transfer could aid tasks learned continually. We present a theory for knowledge transfer in continual supervised learning, which considers both forward and backward transfer. We aim at understanding their impact for increasingly knowledgeable learners. We derive error bounds for each of these transfer mechanisms. These bounds are agnostic to specific implementations (e.g. deep neural networks). We demonstrate that, for a continual learner that observes related tasks, both forward and backward transfer can contribute to an increasing performance as more tasks are observed.


title: Partition Rank and Partition Lattices

abstract: We introduce a universal approach for applying the partition rank method, an extension of Tao's slice rank polynomial method, to tensors that are not diagonal. This is accomplished by generalizing Naslund's distinctness indicator to what we call a partition indicator. The advantages of partition indicators are two-fold: they diagonalize tensors that are constant when specified sets of variables are equal, and even in more general settings they can often substantially reduce the partition rank as compared to when a distinctness indicator is applied. The key to our discoveries is integrating the partition rank method with M\"{o}bius inversion on the lattice of partitions of a finite set. Through this we unify disparate applications of the partition rank method in the literature. We then use our theory to address a finite field analogue of a question of Erd\H{o}s, generalize work of Pach et. al on bounding sizes of sets avoiding right triangles to bounding sizes of sets avoiding right $k$-configurations, and complement work of Sauermann and Tao to determine lower bounds on sizes of sets in $\mathbb{F}_p^n$ that must have solutions to a homogeneous linear equation where many but not all variables are equal.


title: Visual Localization via Few-Shot Scene Region Classification

abstract: Visual (re)localization addresses the problem of estimating the 6-DoF (Degree of Freedom) camera pose of a query image captured in a known scene, which is a key building block of many computer vision and robotics applications. Recent advances in structure-based localization solve this problem by memorizing the mapping from image pixels to scene coordinates with neural networks to build 2D-3D correspondences for camera pose optimization. However, such memorization requires training by amounts of posed images in each scene, which is heavy and inefficient. On the contrary, few-shot images are usually sufficient to cover the main regions of a scene for a human operator to perform visual localization. In this paper, we propose a scene region classification approach to achieve fast and effective scene memorization with few-shot images. Our insight is leveraging a) pre-learned feature extractor, b) scene region classifier, and c) meta-learning strategy to accelerate training while mitigating overfitting. We evaluate our method on both indoor and outdoor benchmarks. The experiments validate the effectiveness of our method in the few-shot setting, and the training time is significantly reduced to only a few minutes. Code available at: \url{https://github.com/siyandong/SRC}


title: Families of Homomorphic Mappings in the Polydisk

abstract: We study classes of locally biholomorphic mappings defined in the $\P$ that have bounded Schwarzian operator in the Bergman metric. We establish important properties of specific solutions of the associated system of differential equations and show a geometric connection between the order of the classes and a covering property. We show for modified and slightly larger classes that the order is Lipschitz continuous with respect to the bound on the Schwarzian, and use this to estimate the order of the original classes.


title: Novel Ordering-based Approaches for Causal Structure Learning in the Presence of Unobserved Variables

abstract: We propose ordering-based approaches for learning the maximal ancestral graph (MAG) of a structural equation model (SEM) up to its Markov equivalence class (MEC) in the presence of unobserved variables. Existing ordering-based methods in the literature recover a graph through learning a causal order (c-order). We advocate for a novel order called removable order (r-order) as they are advantageous over c-orders for structure learning. This is because r-orders are the minimizers of an appropriately defined optimization problem that could be either solved exactly (using a reinforcement learning approach) or approximately (using a hill-climbing search). Moreover, the r-orders (unlike c-orders) are invariant among all the graphs in a MEC and include c-orders as a subset. Given that set of r-orders is often significantly larger than the set of c-orders, it is easier for the optimization problem to find an r-order instead of a c-order. We evaluate the performance and the scalability of our proposed approaches on both real-world and randomly generated networks.


title: TripJudge: A Relevance Judgement Test Collection for TripClick Health Retrieval

abstract: Robust test collections are crucial for Information Retrieval research. Recently there is a growing interest in evaluating retrieval systems for domain-specific retrieval tasks, however these tasks often lack a reliable test collection with human-annotated relevance assessments following the Cranfield paradigm. In the medical domain, the TripClick collection was recently proposed, which contains click log data from the Trip search engine and includes two click-based test sets. However the clicks are biased to the retrieval model used, which remains unknown, and a previous study shows that the test sets have a low judgement coverage for the Top-10 results of lexical and neural retrieval models. In this paper we present the novel, relevance judgement test collection TripJudge for TripClick health retrieval. We collect relevance judgements in an annotation campaign and ensure the quality and reusability of TripJudge by a variety of ranking methods for pool creation, by multiple judgements per query-document pair and by an at least moderate inter-annotator agreement. We compare system evaluation with TripJudge and TripClick and find that that click and judgement-based evaluation can lead to substantially different system rankings.


title: Exact diagonalization for spin-1/2 spin ice pyrochlores

abstract: We find exact solutions to the Hamiltonian of a 16-site spin-1/2 pyrochlore crystal with nearest neighbour exchange interactions. The methods of group theory (symmetry) are used to completely block-diagonalize the Hamiltonian, yielding precise details about symmetry of the eigenstates, in particular those components which are {\em spin ice} states, in order to evaluate the spin ice density at finite temperature. At low enough temperatures, a `perturbed' spin ice phase is clearly outlined within the four parameter space of the general model of exchange interactions. The quantum spin ice phase is expected to exist outside these boundaries.


title: Rational self-maps with a regular iterate on a semiabelian variety

abstract: Let $G$ be a semiabelian variety defined over an algebraically closed field $K$ of characteristic $0$. Let $\Phi\colon G\dashrightarrow G$ be a dominant rational self-map. Assume that an iterate $\Phi^m \colon G \to G$ is regular for some $m \geqslant 1$ and that there exists no non-constant homomorphism $\tau: G\to G_0$ of semiabelian varieties such that $\tau\circ \Phi^{m k}=\tau$ for some $k \geqslant 1$. We show that under these assumptions $\Phi$ itself must be a regular. We also prove a variant of this assertion in prime characteristic and present examples showing that our results are sharp.


title: The SAMI galaxy survey: galaxy size can explain the offset between star-forming and passive galaxies in the mass-metallicity relationship

abstract: In this work, we investigate how the central stellar metallicity ([Z/H]) of 1363 galaxies from the SAMI galaxy survey is related to their stellar mass and a proxy for the gravitational potential, $\Phi$ = log10(M/M*) - log10($r_e$/kpc). In agreement with previous studies, we find that passive and star-forming galaxies occupy different areas of the [Z/H]-M* plane, with passive galaxies having higher [Z/H] than star-forming galaxies at fixed mass (a difference of 0.23 dex at log10(M/M*)=10.3). We show for the first time that all galaxies lie on the same relation between [Z/H] and $\Phi$, and show that the offset in [Z/H] between passive and star-forming galaxies at fixed $\Phi$ is smaller than or equal to the offset in [Z/H] at fixed mass (an average $\Delta$[Z/H] of 0.11 dex at fixed $\Phi$ compared to 0.21 dex at fixed mass). We then build a simple model of galaxy evolution to explain and understand our results. By assuming that [Z/H] traces $\Phi$ over cosmic time and that the probability that a galaxy quenches depends on both its mass and size, we are able to reproduce these offsets in stellar metallicity with a model containing instantaneous quenching. We therefore conclude that an offset in metallicity at fixed mass cannot by itself be used as evidence of slow quenching processes, in contrast to previous studies. Instead, our model implies that metal-rich galaxies have always been the smallest objects for their mass in a population. Our findings reiterate the need to consider galaxy size when studying stellar populations.


title: Kernel-based method for joint independence of functional variables

abstract: This work investigates the problem of testing whether $d$ functional random variables are jointly independent using a modified estimator of the $d$-variable Hilbert Schmidt Indepedence Criterion ($d$HSIC) which generalizes HSIC for the case where $d \geq 2$. We then get asymptotic normality of this estimator both under joint independence hypothesis and under the alternative hypothesis. A simulation study shows good performance of the proposed test on finite sample.


title: Time-marching based quantum solvers for time-dependent linear differential equations

abstract: The time-marching strategy, which propagates the solution from one time step to the next, is a natural strategy for solving time-dependent differential equations on classical computers, as well as for solving the Hamiltonian simulation problem on quantum computers. For more general linear differential equations, a time-marching based quantum solver can suffer from exponentially vanishing success probability with respect to the number of time steps and is thus considered impractical. We solve this problem by repeatedly invoking a technique called the uniform singular value amplification, and the overall success probability can be lower bounded by a quantity that is independent of the number of time steps. The success probability can be further improved using a compression gadget lemma. This provides a path of designing quantum differential equation solvers that is alternative to those based on quantum linear systems algorithms (QLSA). We demonstrate the performance of the time-marching strategy with a high-order integrator based on the truncated Dyson series. The complexity of the algorithm depends linearly on the amplification ratio, which quantifies the deviation from a unitary dynamics. We prove that the linear dependence on the amplification ratio attains the query complexity lower bound and thus cannot be improved in the worst case. This algorithm also surpasses existing QLSA based solvers in three aspects: (1) the coefficient matrix $A(t)$ does not need to be diagonalizable. (2) $A(t)$ can be non-smooth, and is only of bounded variation. (3) It can use fewer queries to the initial state. Finally, we demonstrate the time-marching strategy with a first-order truncated Magnus series, while retaining the aforementioned benefits. Our analysis also raises some open questions concerning the differences between time-marching and QLSA based methods for solving differential equations.


title: Constructing Bowditch boundaries of some relatively hyperbolic groups that are homeomorphic to the $n$-dimensional Sierpi\'nski carpet

abstract: In this paper we prove that if some relatively hyperbolic groups have Bowditch boundary homeomorphic to the $n$-sphere, then they are also relatively hyperbolic with respect to another set of parabolic subgroups and its Bowditch boundary is homeomorphic to the $n-1$-dimensional Sierpi\'nski carpet.


title: GNPassGAN: Improved Generative Adversarial Networks For Trawling Offline Password Guessing

abstract: The security of passwords depends on a thorough understanding of the strategies used by attackers. Unfortunately, real-world adversaries use pragmatic guessing tactics like dictionary attacks, which are difficult to simulate in password security research. Dictionary attacks must be carefully configured and modified to represent an actual threat. This approach, however, needs domain-specific knowledge and expertise that are difficult to duplicate. This paper reviews various deep learning-based password guessing approaches that do not require domain knowledge or assumptions about users' password structures and combinations. It also introduces GNPassGAN, a password guessing tool built on generative adversarial networks for trawling offline attacks. In comparison to the state-of-the-art PassGAN model, GNPassGAN is capable of guessing 88.03\% more passwords and generating 31.69\% fewer duplicates.


title: Distributions of resonances of supercritical quasi-periodic operators

abstract: We discover that the distribution of (frequency and phase) resonances plays a role in determining the spectral type of supercritical quasi-periodic Schr\"odinger operators. In particular, we disprove the second spectral transition line conjecture of Jitomirskaya in the early 1990s.


title: Holistic Natural Systems -- Design & Steering, Guiding New Science for Transformation

abstract: Like all natural systems, great societies and their cultures emerge by a growth process from their environments, developing, organized, and behaving as wholes with their internal designs linked with their external worlds. So the general patterns of how growth produces both successful and failing new designs for new systems can be a great teacher of what does and does not successfully work. Our own world culture imperils its survival by being unresponsive to change as our world economy has; driven to endlessly maximize its compound growth and so growing conflict with internal and external systems. New methods now let us compare different kinds of growth systems in their natural contexts to expose their different ways of coupling with their contexts and steering in response to their futures. Some work out fine by respecting internal limits and finding a fit with external parts, and so working adaptively for survival as a whole. For living systems, steering is much improved by rich experience of external contexts, allowing more prompt attention and response to new risks and opportunities. Recognizing emerging systems starts with noticing change associated with a growing center of relationships, a nucleus of activity in a nourishing place, something sprouting. Storms, trees, relationships, organisms, businesses, organizations, cultures, etc., all start as emerging centers of design that develop by capturing resources from their contexts to expand their ability to capture more. As such, growth begins and develops as a natural exploratory process, starting with compound growth and needing to creatively respond to its natural limits to achieve long life and a stable place in the world. The coupling of internal human thoughts and external worlds matters, too; however, only indirectly connected with our contexts, our fixed images of a changing world can blind us to the meanings of life.


title: Targeted Honeyword Generation with Language Models

abstract: Honeywords are fictitious passwords inserted into databases in order to identify password breaches. The major difficulty is how to produce honeywords that are difficult to distinguish from real passwords. Although the generation of honeywords has been widely investigated in the past, the majority of existing research assumes attackers have no knowledge of the users. These honeyword generating techniques (HGTs) may utterly fail if attackers exploit users' personally identifiable information (PII) and the real passwords include users' PII. In this paper, we propose to build a more secure and trustworthy authentication system that employs off-the-shelf pre-trained language models which require no further training on real passwords to produce honeywords while retaining the PII of the associated real password, therefore significantly raising the bar for attackers. We conducted a pilot experiment in which individuals are asked to distinguish between authentic passwords and honeywords when the username is provided for GPT-3 and a tweaking technique. Results show that it is extremely difficult to distinguish the real passwords from the artifical ones for both techniques. We speculate that a larger sample size could reveal a significant difference between the two HGT techniques, favouring our proposed approach.


title: Towards Spatio-Temporal Cross-Platform Graph Embedding Fusion for Urban Traffic Flow Prediction

abstract: In this paper, we have proposed STC-GEF, a novel Spatio-Temporal Cross-platform Graph Embedding Fusion approach for the urban traffic flow prediction. We have designed a spatial embedding module based on graph convolutional networks (GCN) to extract the complex spatial features within traffic flow data. Furthermore, to capture the temporal dependencies between the traffic flow data from various time intervals, we have designed a temporal embedding module based on recurrent neural networks. Based on the observations that different transportation platforms trip data (e.g., taxis, Uber, and Lyft) can be correlated, we have designed an effective fusion mechanism that combines the trip data from different transportation platforms and further uses them for cross-platform traffic flow prediction (e.g., integrating taxis and ride-sharing platforms for taxi traffic flow prediction). We have conducted extensive real-world experimental studies based on real-world trip data of yellow taxis and ride-sharing (Lyft) from the New York City (NYC), and validated the accuracy and effectiveness of STC-GEF in fusing different transportation platform data and predicting traffic flows.


title: How Does Data Freshness Affect Real-time Supervised Learning?

abstract: In this paper, we analyze the impact of data freshness on real-time supervised learning, where a neural network is trained to infer a time-varying target (e.g., the position of the vehicle in front) based on features (e.g., video frames) observed at a sensing node (e.g., camera or lidar). One might expect that the performance of real-time supervised learning degrades monotonically as the feature becomes stale. Using an information-theoretic analysis, we show that this is true if the feature and target data sequence can be closely approximated as a Markov chain; it is not true if the data sequence is far from Markovian. Hence, the prediction error of real-time supervised learning is a function of the Age of Information (AoI), where the function could be non-monotonic. Several experiments are conducted to illustrate the monotonic and non-monotonic behaviors of the prediction error. To minimize the inference error in real-time, we propose a new "selection-from-buffer" model for sending the features, which is more general than the "generate-at-will" model used in earlier studies. By using Gittins and Whittle indices, low-complexity scheduling strategies are developed to minimize the inference error, where a new connection between the Gittins index theory and Age of Information (AoI) minimization is discovered. These scheduling results hold (i) for minimizing general AoI functions (monotonic or non-monotonic) and (ii) for general feature transmission time distributions. Data-driven evaluations are presented to illustrate the benefits of the proposed scheduling algorithms.


title: MACE: Multi-Agent Autonomous Collaborative Exploration of Unknown Environments

abstract: In this paper, we propose a new framework for multi-agent collaborative exploration of unknown environments. The proposed method combines state-of-the-art algorithms in mapping, safe corridor generation and multi-agent planning. It first takes a volume that we want to explore, then proceeds to give the multiple agents different goals in order to explore a voxel grid of that volume. The exploration ends when all voxels are discovered as free or occupied, or there is no path found for the remaining undiscovered voxels. The state-of-the-art planning algorithm uses time-aware Safe Corridors to guarantee intra-agent collision safety as well safety from static obstacles. The presented approach is tested in a state of the art simulator for up to 4 agents.


title: Multirotor Planning in Dynamic Environments using Temporal Safe Corridors

abstract: In this paper, we propose a new method for multirotor planning in dynamic environments. The environment is represented as a temporal occupancy grid which gives the current as well as the future/predicted state of all the obstacles. The method builds on previous works in Safe Corridor generation and multirotor planning to avoid moving and static obstacles. It first generates a global path to the goal that doesn't take into account the dynamic aspect of the environment. We then use temporal Safe Corridors to generate safe spaces that the robot can be in at discrete instants in the future. Finally we use the temporal Safe Corridors in an optimization formulation that accounts for the multirotor dynamics as well as all the obstacles to generate the trajectory that will be executed by the multirotor's controller. We show the performance of our method in simulations.


title: Acoustic Lenses Design based on the Rays Inserting Method

abstract: The ability to control and manipulate elastic waves is important for applications such as structural health monitoring, signal processing, and vibration isolations. In this paper, we investigated the feasibility of using the Rays Inserting Method, an approach originally proposed for optical elements, to design structural components for flexural wave manipulation. The RIM entails a simple process that allows to design thickness variations in a thin plate with a desirable refractive index distribution for an intended wave path. Based on this method, a focusing and collimating lens and a waveguide that rotates the wavefront by 45 degree were designed and studied. Frequency domain simulations and time-based experimental characterizations were carried out. The results demonstrated that the effectiveness of the RIM for designing variable thickness structures for manipulation of flexural wave propagation along desired paths.


title: A Novel Tree Visualization to Guide Interactive Exploration of Multi-dimensional Topological Hierarchies

abstract: Understanding the response of an output variable to multi-dimensional inputs lies at the heart of many data exploration endeavours. Topology-based methods, in particular Morse theory and persistent homology, provide a useful framework for studying this relationship, as phenomena of interest often appear naturally as fundamental features. The Morse-Smale complex captures a wide range of features by partitioning the domain of a scalar function into piecewise monotonic regions, while persistent homology provides a means to study these features at different scales of simplification. Previous works demonstrated how to compute such a representation and its usefulness to gain insight into multi-dimensional data. However, exploration of the multi-scale nature of the data was limited to selecting a single simplification threshold from a plot of region count. In this paper, we present a novel tree visualization that provides a concise overview of the entire hierarchy of topological features. The structure of the tree provides initial insights in terms of the distribution, size, and stability of all partitions. We use regression analysis to fit linear models in each partition, and develop local and relative measures to further assess uniqueness and the importance of each partition, especially with respect parents/children in the feature hierarchy. The expressiveness of the tree visualization becomes apparent when we encode such measures using colors, and the layout allows an unprecedented level of control over feature selection during exploration. For instance, selecting features from multiple scales of the hierarchy enables a more nuanced exploration. Finally, we demonstrate our approach using examples from several scientific domains.


title: Any strongly controllable group system or group shift or any linear block code is isomorphic to a generator group

abstract: Consider any sequence of finite groups $A^t$, where $t$ takes values in an integer index set $\mathbf{Z}$. A group system $A$ is a set of sequences with components in $A^t$ that forms a group under componentwise addition in $A^t$, for each $t\in\mathbf{Z}$. As shown previously, any strongly controllable complete group system $A$ can be decomposed into generators. We study permutations of the generators when sequences in the group system are multiplied. We show that any strongly controllable complete group system $A$ is isomorphic to a generator group $({\mathcal{U}},\circ)$. The set ${\mathcal{U}}$ is a set of tensors, a double Cartesian product space of sets $G_k^t$, with indices $k$, for $0\le k\le\ell$, and time $t$, for $t\in\mathbf{Z}$. $G_k^t$ is a set of unique generator labels for the generators in $A$ with nontrivial span for the time interval $[t,t+k]$. We show the generator group contains a unique elementary system, an infinite collection of elementary groups, one for each $k$ and $t$, defined on small subsets of ${\mathcal{U}}$, in the shape of triangles, which form a tile like structure over ${\mathcal{U}}$. There is a homomorphism from each elementary group to any elementary group defined on smaller tiles of the former group. The group system $A$ may be constructed from either the generator group or elementary system. These results have application to linear block codes, any algebraic system that contains a linear block code, group shifts, and harmonic theory in mathematics, and systems theory, coding theory, control theory, and related fields in engineering.


title: A Domain-Specific Language for Simulation-Based Testing of IoT Edge-to-Cloud Solutions

abstract: The Internet of things (IoT) is increasingly prevalent in domains such as emergency response, smart cities and autonomous vehicles. Simulation plays a key role in the testing of IoT systems, noting that field testing of a complete IoT product may be infeasible or prohibitively expensive. In this paper, we propose a domain-specific language (DSL) for generating edge-to-cloud simulators. An edge-to-cloud simulator executes the functionality of a large array of edge devices that communicate with cloud applications. Our DSL, named IoTECS, is the result of a collaborative project with an IoT analytics company, Cheetah Networks. The industrial use case that motivates IoTECS is ensuring the scalability of cloud applications by putting them under extreme loads from IoT devices connected to the edge. We implement IoTECS using Xtext and empirically evaluate its usefulness. We further reflect on the lessons learned.


title: Continuous Active Learning Using Pretrained Transformers

abstract: Pre-trained and fine-tuned transformer models like BERT and T5 have improved the state of the art in ad-hoc retrieval and question-answering, but not as yet in high-recall information retrieval, where the objective is to retrieve substantially all relevant documents. We investigate whether the use of transformer-based models for reranking and/or featurization can improve the Baseline Model Implementation of the TREC Total Recall Track, which represents the current state of the art for high-recall information retrieval. We also introduce CALBERT, a model that can be used to continuously fine-tune a BERT-based model based on relevance feedback.


title: ARIEL: Adversarial Graph Contrastive Learning

abstract: Contrastive learning is an effective unsupervised method in graph representation learning, and the key component of contrastive learning lies in the construction of positive and negative samples. Previous methods usually utilize the proximity of nodes in the graph as the principle. Recently, the data-augmentation-based contrastive learning method has advanced to show great power in the visual domain, and some works extended this method from images to graphs. However, unlike the data augmentation on images, the data augmentation on graphs is far less intuitive and much harder to provide high-quality contrastive samples, which leaves much space for improvement. In this work, by introducing an adversarial graph view for data augmentation, we propose a simple but effective method, Adversarial Graph Contrastive Learning (ARIEL), to extract informative contrastive samples within reasonable constraints. We develop a new technique called information regularization for stable training and use subgraph sampling for scalability. We generalize our method from node-level contrastive learning to the graph level by treating each graph instance as a super-node. ARIEL consistently outperforms the current graph contrastive learning methods for both node-level and graph-level classification tasks on real-world datasets. We further demonstrate that ARIEL is more robust in the face of adversarial attacks.


title: Syntax-driven Data Augmentation for Named Entity Recognition

abstract: In low resource settings, data augmentation strategies are commonly leveraged to improve performance. Numerous approaches have attempted document-level augmentation (e.g., text classification), but few studies have explored token-level augmentation. Performed naively, data augmentation can produce semantically incongruent and ungrammatical examples. In this work, we compare simple masked language model replacement and an augmentation method using constituency tree mutations to improve the performance of named entity recognition in low-resource settings with the aim of preserving linguistic cohesion of the augmented sentences.


title: Tunable Strong Magnetic Anisotropy in Two-Dimensional van der Waals Antiferromagnets

abstract: We show that anisotropic energy of a 2D antiferromagnet is greatly enhanced via stacking on a magnetic substrate layer, arising from the sublattice-dependent interlayer magnetic interaction that defines an effective anisotropic energy. Interestingly, this effective energy couples strongly with the interlayer stacking order and the magnetic order of the substrate layer, providing unique mechanical and magnetic means to control the antiferromagnetic order. These two types of control methods affect distinctly the sublattice magnetization dynamics, with a change of the ratio of sublattice precession amplitudes in the former and its chirality in the later. In moir\'{e} superlattices formed by a relative twist or strain between the layers, the coupling with stacking order introduces a landscape of effective anisotropic energy across the moir\'{e}, which can be utilized to create nonuniform antiferromagnetic textures featuring periodically localized low-energy magnons.


title: Evaluating Dense Passage Retrieval using Transformers

abstract: Although representational retrieval models based on Transformers have been able to make major advances in the past few years, and despite the widely accepted conventions and best-practices for testing such models, a $\textit{standardized}$ evaluation framework for testing them has not been developed. In this work, we formalize the best practices and conventions followed by researchers in the literature, paving the path for more standardized evaluations - and therefore more fair comparisons between the models. Our framework (1) embeds the documents and queries; (2) for each query-document pair, computes the relevance score based on the dot product of the document and query embedding; (3) uses the $\texttt{dev}$ set of the MSMARCO dataset to evaluate the models; (4) uses the $\texttt{trec_eval}$ script to calculate MRR@100, which is the primary metric used to evaluate the models. Most importantly, we showcase the use of this framework by experimenting on some of the most well-known dense retrieval models.


title: $X(3872)$ and $T_{cc}$: structures and productions in heavy ion collisions

abstract: We argue why the recently observed $T_{cc}$ could either be a compact multiquark configuration or a loosely bound molecular configuration composed of charmed mesons, whereas the $X(3872)$ is most likely a molecular configuration. The argument is based on different short range interactions for these tetraquark states coming from the color-color and color-spin interaction in a quark model, and the presence of a common strong D-wave mixing at larger distance similar to the deuteron case, which for the molecular configurations lead to large sizes. Such an analogy at large distance allows us to calculate the transverse momentum dependence of the loosely bound molecular configuration of tetraquarks produced in heavy ion collisions using the coalescence model that successfully reproduces the deutron data using the proton spectra. The ratio of the integrated $X(3872)$ yield obtained from our method to the $\psi(2S)$ yield obtained from statistical hadronization model method is calculated to be $0.806 \pm 0.234$, which is a factor of 2.47 larger than that obtained by using statistical model predictions for both particles and in line with the data from the CMS experiment. As the previously calculated transverse momentum distribution of the $T_{cc}$ assuming the structure to be a compact multiquark configuration is markedly different, experimental measurements of the transverse distribution of the tetraquark states will discriminate between their two possible structures.


title: A Hybrid Model of Classification and Generation for Spatial Relation Extraction

abstract: Extracting spatial relations from texts is a fundamental task for natural language understanding and previous studies only regard it as a classification task, ignoring those spatial relations with null roles due to their poor information. To address the above issue, we first view spatial relation extraction as a generation task and propose a novel hybrid model HMCGR for this task. HMCGR contains a generation and a classification model, while the former can generate those null-role relations and the latter can extract those non-null-role relations to complement each other. Moreover, a reflexivity evaluation mechanism is applied to further improve the accuracy based on the reflexivity principle of spatial relation. Experimental results on SpaceEval show that HMCGR outperforms the SOTA baselines significantly.


title: InvisibiliTee: Angle-agnostic Cloaking from Person-Tracking Systems with a Tee

abstract: After a survey for person-tracking system-induced privacy concerns, we propose a black-box adversarial attack method on state-of-the-art human detection models called InvisibiliTee. The method learns printable adversarial patterns for T-shirts that cloak wearers in the physical world in front of person-tracking systems. We design an angle-agnostic learning scheme which utilizes segmentation of the fashion dataset and a geometric warping process so the adversarial patterns generated are effective in fooling person detectors from all camera angles and for unseen black-box detection models. Empirical results in both digital and physical environments show that with the InvisibiliTee on, person-tracking systems' ability to detect the wearer drops significantly.


title: Privacy-Preserving Decentralized Inference with Graph Neural Networks in Wireless Networks

abstract: As an efficient neural network model for graph data, graph neural networks (GNNs) recently find successful applications for various wireless optimization problems. Given that the inference stage of GNNs can be naturally implemented in a decentralized manner, GNN is a potential enabler for decentralized control/management in the next-generation wireless communications. Privacy leakage, however, may occur due to the information exchanges among neighbors during decentralized inference with GNNs. To deal with this issue, in this paper, we analyze and enhance the privacy of decentralized inference with GNNs in wireless networks. Specifically, we adopt local differential privacy as the metric, and design novel privacy-preserving signals as well as privacy-guaranteed training algorithms to achieve privacy-preserving inference. We also define the SNR-privacy trade-off function to analyze the performance upper bound of decentralized inference with GNNs in wireless networks. To further enhance the communication and computation efficiency, we adopt the over-the-air computation technique and theoretically demonstrate its advantage in privacy preservation. Through extensive simulations on the synthetic graph data, we validate our theoretical analysis, verify the effectiveness of proposed privacy-preserving wireless signaling and privacy-guaranteed training algorithm, and offer some guidance on practical implementation.


title: Curvature of the total space of a Griffiths negative vector bundle and quasi-Fuchsian space

abstract: For a holomorphic vector bundle $E$ over a Hermitian manifold $M$ there are two important notions of curvature positivity, the Griffiths positivity and Nakano positivity. We study the consequence of these positivities and the relevant estimates. If $E$ is Griffiths negative over K\"ahler manifold, then there is a K\"ahler metric on its total space $E$, and we calculate the curvature and prove the non-positivity of the curvature along the tautological direction. The Nakano positivity can be formulated as a positivity for the Nakano curvature operator and we give estimate the Nakano curvature operator associated with a Nakano positive direct image bundle. As applications we construct a mapping class group invariant K\"ahler metric on the quasi-Fuchsian space QF$(S)$, which extends the Weil-Petersson metric on the Teichm\"uller space $\mathcal{T}(S)\subset {\rm QF}(S)$, and we obtain estimates for the Nakano curvature operator for the dual Weil-Petersson metric on the holomorphic cotangent bundle of Teichm\"uller space.


title: Do chaotic field lines cause fast reconnection in coronal loops?

abstract: Over the past decade, Boozer has argued that three-dimensional (3D) magnetic reconnection fundamentally differs from two-dimensional (2D) reconnection due to the fact that the separation between any pair of neighboring field lines almost always increases exponentially over distance in a 3D magnetic field. According to Boozer, this feature makes 3D field-line mapping chaotic and exponentially sensitive to small non-ideal effects; consequently, 3D reconnection can occur without intense current sheets. We test Boozer's theory via ideal and resistive reduced magnetohydrodynamic simulations of the Boozer-Elder coronal loop model driven by sub-Alfvenic footpoint motions [A. H. Boozer and T. Elder, Physics of Plasmas 28, 062303 (2021)]. Our simulation results significantly differ from their predictions. The ideal simulation shows that Boozer and Elder under-predict the intensity of current density due to missing terms in their reduced model equations. Furthermore, resistive simulations of varying Lundquist numbers show that the maximal current density scales linearly rather than logarithmically with the Lundquist number.

categories: physics.plasm-ph astro-ph.SR physics.flu-dyn physics.space-ph


title: STAR-GNN: Spatial-Temporal Video Representation for Content-based Retrieval

abstract: We propose a video feature representation learning framework called STAR-GNN, which applies a pluggable graph neural network component on a multi-scale lattice feature graph. The essence of STAR-GNN is to exploit both the temporal dynamics and spatial contents as well as visual connections between regions at different scales in the frames. It models a video with a lattice feature graph in which the nodes represent regions of different granularity, with weighted edges that represent the spatial and temporal links. The contextual nodes are aggregated simultaneously by graph neural networks with parameters trained with retrieval triplet loss. In the experiments, we show that STAR-GNN effectively implements a dynamic attention mechanism on video frame sequences, resulting in the emphasis for dynamic and semantically rich content in the video, and is robust to noise and redundancies. Empirical results show that STAR-GNN achieves state-of-the-art performance for Content-Based Video Retrieval.


title: Fermi isospectrality of discrete periodic Schr\"odinger operators with separable potentials on $\mathbb{Z}^2$

abstract: Let $\Gamma=q_1\mathbb{Z}\oplus q_2 \mathbb{Z} $ with $q_1\in \mathbb{Z}_+$ and $q_2\in\mathbb{Z}_+$. Let $\Delta+X$ be the discrete periodic Schr\"odinger operator on $\mathbb{Z}^2$, where $\Delta$ is the discrete Laplacian and $X:\mathbb{Z}^2\to \mathbb{C}$ is $\Gamma$-periodic. In this paper, we develop tools from complex analysis to study the isospectrality of discrete periodic Schr\"odinger operators. We prove that if two $\Gamma$-periodic potentials $X$ and $Y$ are Fermi isospectral and both $X=X_1\oplus X_2$ and $Y= Y_1\oplus Y_2$ are separable functions, then, up to a constant, one dimensional potentials $X_j$ and $Y_j$ are Floquet isospectral, $j=1,2$. This allows us to prove that for any non-constant separable real-valued $\Gamma$-periodic potential, the Fermi variety $F_{\lambda}(V)/\mathbb{Z}^2$ is irreducible for any $\lambda\in \mathbb{C}$, which partially confirms a conjecture of Gieseker, Kn\"{o}rrer and Trubowitz in the early 1990s.


title: Widespread Partisan Gerrymandering Mostly Cancels Nationally, but Reduces Electoral Competition

abstract: Congressional district lines in many U.S. states are drawn by partisan actors, raising concerns about gerrymandering. To separate the partisan effects of redistricting from the effects of other factors including geography and redistricting rules, we compare possible party compositions of the U.S. House under the enacted plan to those under a set of alternative simulated plans that serve as a non-partisan baseline. We find that partisan gerrymandering is widespread in the 2020 redistricting cycle, but most of the electoral bias it creates cancels at the national level, giving Republicans two additional seats on average. Geography and redistricting rules separately contribute a moderate pro-Republican bias. Finally, we find that partisan gerrymandering reduces electoral competition and makes the partisan composition of the U.S. House less responsive to shifts in the national vote.


title: A symplectic basis for 3-manifold triangulations

abstract: In the 1980s, Neumann and Zagier introduced a symplectic vector space associated to an ideal triangulation of a cusped 3-manifold, such as a knot complement. We give a geometric interpretation for this symplectic structure in terms of the topology of the 3-manifold, via intersections of certain curves on a Heegaard surface. We also give an algorithm to construct curves forming a symplectic basis.