title: The White Dwarf Binary Pathways Survey VII: Evidence for a bi-modal distribution of post mass transfer systems?

abstract: Binary systems consisting of a white dwarf and a main-sequence companion with orbital periods up to $\approx 100$ d are often thought to be formed through common envelope evolution which is still poorly understood. To provide new observational constraints on the physical processes involved in the formation of these objects, we are conducting a large-scale survey of close binaries consisting of a white dwarf and an A to K-type companion. Here we present three systems with eccentric orbits and orbital periods between $\approx10-42$ d discovered by our survey. Based on HST spectroscopy and high angular resolution images obtained with SPHERE-IRDIS, we find that two of these systems are most likely triple systems while the remaining one could be either a binary or a hierarchical triple but none of them is a post common envelope binary (PCEB). The discovery of these systems shows that our survey is capable to detect systems with orbital periods of the order of weeks, but all six PCEBs we have previously discovered have periods below 2.5 d. We suggest that the fact that all of the systems we identify with periods of the order of weeks are not PCEBs indicates a transition between two different mechanisms responsible for the formation of very close ($\lesssim 10$ d) and somewhat wider WD+AFGK binaries: common envelope evolution and non-conservative stable mass transfer.


title: Topological Disorder Parameter

abstract: We introduce a many-body topological invariant, called the topological disorder parameter (TDP), to characterize gapped quantum phases with global internal symmetry in (2+1)d. TDP is defined as the constant correction that appears in the ground state expectation value of a partial symmetry transformation applied to a connected spatial region $M$, the absolute value of which scales generically as $\exp(-\alpha l+\gamma)$ where $l$ is the perimeter of $M$ and $\gamma$ is the TDP. Motivated by a topological quantum field theory interpretation of the operator, we show that $e^\gamma$ can be related to the quantum dimension of the symmetry defect, and provide a general formula for $\gamma$ when the entanglement Hamiltonian of the topological phase can be described by a (1+1)d conformal field theory (CFT). A special case of TDP is equivalent to the topological R\'enyi entanglement entropy when the symmetry is the cyclic permutation of the replica of the gapped phase. We then investigate several examples of lattice models of topological phases, both analytically and numerically, in particular when the assumption of having a CFT edge theory is not satisfied. We also consider an example of partial translation symmetry in Wen's plaquette model and show that the result can be understood using the edge CFT. Our results establish a new tool to detect quantum topological order.


title: Greedy Algorithms for Decision Trees with Hypotheses

abstract: We investigate at decision trees that incorporate both traditional queries based on one attribute and queries based on hypotheses about the values of all attributes. Such decision trees are similar to ones studied in exact learning, where membership and equivalence queries are allowed. We present greedy algorithms based on diverse uncertainty measures for construction of above decision trees and discuss results of computer experiments on various data sets from the UCI ML Repository and randomly generated Boolean functions. We also study the length and coverage of decision rules derived from the decisiontrees constructed by greedy algorithms.


title: FairFoody: Bringing in Fairness in Food Delivery

abstract: Along with the rapid growth and rise to prominence of food delivery platforms, concerns have also risen about the terms of employment of the gig workers underpinning this growth. Our analysis on data derived from a real-world food delivery platform across three large cities from India show that there is significant inequality in the money delivery agents earn. In this paper, we formulate the problem of fair income distribution among agents while also ensuring timely food delivery. We establish that the problem is not only NP-hard but also inapproximable in polynomial time. We overcome this computational bottleneck through a novel matching algorithm called FairFoody. Extensive experiments over real-world food delivery datasets show FairFoody imparts up to 10 times improvement in equitable income distribution when compared to baseline strategies, while also ensuring minimal impact on customer experience.


title: Pre-Trained Multilingual Sequence-to-Sequence Models: A Hope for Low-Resource Language Translation?

abstract: What can pre-trained multilingual sequence-to-sequence models like mBART contribute to translating low-resource languages? We conduct a thorough empirical experiment in 10 languages to ascertain this, considering five factors: (1) the amount of fine-tuning data, (2) the noise in the fine-tuning data, (3) the amount of pre-training data in the model, (4) the impact of domain mismatch, and (5) language typology. In addition to yielding several heuristics, the experiments form a framework for evaluating the data sensitivities of machine translation systems. While mBART is robust to domain differences, its translations for unseen and typologically distant languages remain below 3.0 BLEU. In answer to our title's question, mBART is not a low-resource panacea; we therefore encourage shifting the emphasis from new models to new data.


title: Adaptive Objective Configuration in Bi-Objective Evolutionary Optimization for Cervical Cancer Brachytherapy Treatment Planning

abstract: The Multi-Objective Real-Valued Gene-pool Optimal Mixing Evolutionary Algorithm (MO-RV-GOMEA) has been proven effective and efficient in solving real-world problems. A prime example is optimizing treatment plans for prostate cancer brachytherapy, an internal form of radiation treatment, for which equally important clinical aims from a base protocol are grouped into two objectives and bi-objectively optimized. This use of MO-RV-GOMEA was recently successfully introduced into clinical practice. Brachytherapy can also play an important role in treating cervical cancer. However, using the same approach to optimize treatment plans often does not immediately lead to clinically desirable results. Concordantly, medical experts indicate that they use additional aims beyond the cervix base protocol. Moreover, these aims have different priorities and can be patient-specifically adjusted. For this reason, we propose a novel adaptive objective configuration method to use with MO-RV-GOMEA so that we can accommodate additional aims of this nature. Based on results using only the base protocol, in consultation with medical experts, we configured key additional aims. We show how, for 10 patient cases, the new approach achieves the intended result, properly taking into account the additional aims. Consequently, plans resulting from the new approach are preferred by medical specialists in 8/10 cases.


title: Learning the Dynamics of Physical Systems from Sparse Observations with Finite Element Networks

abstract: We propose a new method for spatio-temporal forecasting on arbitrarily distributed points. Assuming that the observed system follows an unknown partial differential equation, we derive a continuous-time model for the dynamics of the data via the finite element method. The resulting graph neural network estimates the instantaneous effects of the unknown dynamics on each cell in a meshing of the spatial domain. Our model can incorporate prior knowledge via assumptions on the form of the unknown PDE, which induce a structural bias towards learning specific processes. Through this mechanism, we derive a transport variant of our model from the convection equation and show that it improves the transfer performance to higher-resolution meshes on sea surface temperature and gas flow forecasting against baseline models representing a selection of spatio-temporal forecasting methods. A qualitative analysis shows that our model disentangles the data dynamics into their constituent parts, which makes it uniquely interpretable.


title: Velocity-dependent annihilation radiation from dark matter subhalos in cosmological simulations

abstract: We use the suite of Milky Way-like galaxies in the Auriga simulations to determine the contribution to annihilation radiation from dark matter subhalos in three velocity-dependent dark matter annihilation models: Sommerfeld, p-wave, and d-wave models. We compare these to the corresponding distribution in the velocity-independent s-wave annihilation model. For both the hydrodynamical and dark-matter-only simulations, only in the case of the Sommerfeld-enhanced annihilation does the total annihilation flux from subhalos exceed the total annihilation flux from the smooth halo component within the virial radius of the halo. Progressing from Sommerfeld to the s, p, and d-wave models, the contribution from the smooth component of the halo becomes more dominant, implying that for the p-wave and d-wave models the smooth component is by far the dominant contribution to the radiation. Comparing to the Galactic center excess observed by Fermi-LAT, for all simulated halos the emission is dominated by the smooth halo contribution. However, it is possible that for Sommerfeld models, extrapolation down to mass scales below the current resolution limit of the simulation would imply a non-negligible contribution to the gamma-ray emission from the Galactic Center region.


title: Limits to gauge coupling in the dark sector set by the non-observation of instanton-induced decay of Super-Heavy Dark Matter in the Pierre Auger Observatory data

abstract: Instantons, which are non-perturbative solutions to Yang-Mills equations, provide a signal for the occurrence of quantum tunneling between distinct classes of vacua. They can give rise to decays of particles otherwise forbidden. Using data collected at the Pierre Auger Observatory, we search for signatures of such instanton-induced processes that would be suggestive of super-heavy particles decaying in the Galactic halo. These particles could have been produced during the post-inflationary epoch and match the relic abundance of dark matter inferred today. The non-observation of the signatures searched for allows us to derive a bound on the reduced coupling constant of gauge interactions in the dark sector: $\alpha_X \lesssim 0.09$, for $10^{9} \lesssim M_X/{\rm GeV} < 10^{19}$. Conversely, we obtain that, for instance, a reduced coupling constant $\alpha_X = 0.09$ excludes masses $M_X \gtrsim 3\times 10^{13}~$GeV. In the context of dark matter production from gravitational interactions alone, we illustrate how these bounds are complementary to those obtained on the Hubble rate at the end of inflation from the non-observation of tensor modes in the cosmological microwave background.


title: Fluctuating Hydrodynamics and Wormholes

abstract: We show that a recent reformulation of hydrodynamic equations for a large class of models consisting of q-dits on a graph with short range interactions is sufficient for understanding chaotic behavior. Any such system consists of large subsystems coupled together by interactions whose relative strength goes to zero with the subsystem size. In the absence of conservation laws other than energy, the Hamiltonians of the subsystems form a complete set of commuting operators. The hydrodynamic variables are the block diagonal matrix elements $\rho(e(X))$ of the density matrix in the joint eigenbasis of the subsystem Hamiltonians, averaged over energy bins. To leading order in the inverse subsystem size, $\rho(e(X); t)$ satisfies a classical stochastic equation, which for certain systems takes the form of a functional Fokker-Planck equation. In such systems the time averaged spectral form factors can be written as a two dimensional Euclidean functional integral, on a space with multiple disconnected boundaries. The failure of factorization in this representation is attributable to the time averaging necessary to apply the hydrodynamic approximation. The bulk Euclidean action is purely topological. We make tentative explorations of the special properties of the system that are required in order to have a representation as a functional integral over metrics.


title: Planar Rosa : a family of quasiperiodic substitution discrete plane tilings with $2n$-fold rotational symmetry

abstract: We present Planar Rosa, a family of rhombus tilings with a $2n$-fold rotational symmetry that are generated by a primitive substitution and that are also discrete plane tilings, meaning that they are obtained as a projection of a higher dimensional discrete plane. The discrete plane condition is a relaxed version of the cut-and-project condition. We also prove that the Sub Rosa substitution tilings with $2n$-fold rotational symmetry defined by Kari and Rissanen do not satisfy even the weaker discrete plane condition. We prove these results for all even $n\geq 4$. This completes our previously published results for odd values of $n$.


title: Noisy Tensor Completion via Low-rank Tensor Ring

abstract: Tensor completion is a fundamental tool for incomplete data analysis, where the goal is to predict missing entries from partial observations. However, existing methods often make the explicit or implicit assumption that the observed entries are noise-free to provide a theoretical guarantee of exact recovery of missing entries, which is quite restrictive in practice. To remedy such drawbacks, this paper proposes a novel noisy tensor completion model, which complements the incompetence of existing works in handling the degeneration of high-order and noisy observations. Specifically, the tensor ring nuclear norm (TRNN) and least-squares estimator are adopted to regularize the underlying tensor and the observed entries, respectively. In addition, a non-asymptotic upper bound of estimation error is provided to depict the statistical performance of the proposed estimator. Two efficient algorithms are developed to solve the optimization problem with convergence guarantee, one of which is specially tailored to handle large-scale tensors by replacing the minimization of TRNN of the original tensor equivalently with that of a much smaller one in a heterogeneous tensor decomposition framework. Experimental results on both synthetic and real-world data demonstrate the effectiveness and efficiency of the proposed model in recovering noisy incomplete tensor data compared with state-of-the-art tensor completion models.


title: A Real-Time Region Tracking Algorithm Tailored to Endoscopic Video with Open-Source Implementation

abstract: With a video data source, such as multispectral video acquired during administration of fluorescent tracers, extraction of time-resolved data typically requires the compensation of motion. While this can be done manually, which is arduous, or using off-the-shelf object tracking software, which often yields unsatisfactory performance, we present an algorithm which is simple and performant. Most importantly, we provide an open-source implementation, with an easy-to-use interface for researchers not inclined to write their own code, as well as Python modules that can be used programmatically.


title: Convergence of Optimal Expected Utility for a Sequence of Discrete-Time Markets in Initially Enlarged Filtrations

abstract: In this paper, we extend Kreps' conjecture that optimal expected utility in the classic Black-Scholes-Merton (BSM) economy is the limit of optimal expected utility for a sequence of discrete-time economies in initially enlarged filtrations converge to the BSM economy in an initially enlarged filtration in a "strong" sense. The n-th discrete-time economy is generated by a scaled n-step random walk, based on an unscaled random variable with mean 0, variance 1, and bounded support. Moreover, the informed insider knows each functional generating the enlarged filtrations path-by-path. We confirm Kreps' conjecture in initially enlarged filtrations when the consumer's utility function U has asymptotic elasticity strictly less than one.


title: Generalized Ellis-Bronnikov wormholes in asymptotically safe gravity

abstract: In this paper we study a class of wormhole solutions called generalized Ellis-Bronnikov wormholes in the context of asymptotically safe gravity (ASG). These solutions are characterized by two parameters: an even number $n$ and the wormhole throat radius $r_t$. The particular case $n=2$ recovers the usual Ellis-Bronnikov spacetime, which has already been addressed in the literature. We analyzed the nature of matter in the wormhole's throat, and in nearby regions, of these generalized solutions with $n>2$, using three curvature scalars in the ASG approach, namely, the Ricci scalar, squared Ricci and the Kretschmann scalar. We have shown that the ASG leads to corrections in the matter at the wormhole's throat only for the $n=4$ case. For the squared Ricci and the Kretschmann we find that exotic matter is always necessary, as previously found for the usual Ellis-Bronnikov. However, for the Ricci scalar case, we found that ordinary matter is allowed at the throat. Therefore, the generalized Ellis-Bronnikov wormhole provides to the possibility of having ordinary matter at the throat in the context of asymptotically safe gravity.


title: Towards an HPC Complementary Computing Facility

abstract: This Letter considers the design for computing facilities that are complementary to the leadership class High Performance Computing (HPC) facilities. This design envisions a future where funding agencies are allocating greater resources for leadership class facilities and these facilities will provide a significant part of the total compute cycles for HEP Experiments. While a leadership class facility (LCF) may provide cycles and advanced architectures, the facility does not necessarily provide all of the services needed to help HEP users make the best use of the HPC facility, as well as the services needed to provide computing for workflows that are not a good fit for the HPC facilities. This Letter outlines some of the necessary components of a facility designed to provide those services and capabilities.


title: Post-starburst galaxies in the centers of intermediate redshift clusters

abstract: We present results from MUSE spatially-resolved spectroscopy of 21 post-starburst galaxies in the centers of 8 clusters from $z\sim0.3$ to $z\sim0.4$. We measure spatially resolved star-formation histories (SFHs), the time since quenching ($t_Q$) and the fraction of stellar mass assembled in the past 1.5 Gyr ($\mu_{1.5}$). The SFHs display a clear enhancement of star-formation prior to quenching for 16 out of 21 objects, with at least 10% (and up to $>50$%) of the stellar mass being assembled in the past 1.5 Gyr and $t_Q$ ranging from less than 100 Myrs to $\sim800$ Myrs. By mapping $t_Q$ and $\mu_{1.5}$, we analyze the quenching patterns of the galaxies. Most galaxies in our sample have quenched their star-formation from the outside-in or show a side-to-side/irregular pattern, both consistent with quenching by ram-pressure stripping. Only three objects show an inside-out quenching pattern, all of which are at the high-mass end of our sample. At least two of them currently host an active galactic nucleus. In two post-starbursts, we identify tails of ionized gas indicating that these objects had their gas stripped by ram pressure very recently. Post-starburst features are also found in the stripped regions of galaxies undergoing ram-pressure stripping in the same clusters, confirming the link between these classes of objects. Our results point to ram-pressure stripping as the main driver of fast quenching in these environments, with active galactic nuclei playing a role at high stellar masses.


title: Electroweak Precision Measurements in Diboson Production at CMS

abstract: In this contribution, I have outlined recent precision measurements of the standard model (SM) multiboson production at CMS. A study of diboson production at 5 TeV constitutes an important probe of the SM at a new energy, and the data favour NNLO predictions obtained by MATRIX. A study of WZ production at 13 TeV constitutes the most comprehensive study of WZ production to date, containing inclusive and differential cross section measurements, charge asymmetry measurements, constraints on the LHC proton parton distribution functions, and constraints on anomalous values of the WWZ trilinear gauge coupling. No evidence for new physics is found, and all the results favour SM predictions calculated at NNLO using MATRIX.


title: "It Feels Like Taking a Gamble": Exploring Perceptions, Practices, and Challenges of Using Makeup and Cosmetics for People with Visual Impairments

abstract: Makeup and cosmetics offer the potential for self-expression and the reshaping of social roles for visually impaired people. However, there exist barriers to conducting a beauty regime because of the reliance on visual information and color variances in makeup. We present a content analysis of 145 YouTube videos to demonstrate visually impaired individuals' unique practices before, during, and after doing makeup. Based on the makeup practices, we then conducted semi-structured interviews with 12 visually impaired people to discuss their perceptions of and challenges with the makeup process in more depth. Overall, through our findings and discussion, we present novel perceptions of makeup from visually impaired individuals (e.g., broader representations of blindness and beauty). The existing challenges provide opportunities for future research to address learning barriers, insufficient feedback, and physical and environmental barriers, making the experience of doing makeup more accessible to people with visual impairments.


title: Evidence of surface heterogeneity on active asteroid (3200) Phaethon

abstract: Thermal infrared emission and thermophysical modeling techniques are powerful tools in deciphering the surface properties of asteroids. The near-Earth asteroid (3200) Phaethon is an active asteroid with a very small perihelion distance and is likely the source of the Geminid meteor shower. We estimate and interpret the thermal inertia of this extraordinary asteroid using observations that span ten distinct sightings. The variation in thermal inertia over these sightings is inconsistent with the expected temperature-dependent thermal inertia theorized from radiative heat transfer within the regolith. Thus, we test whether the variation in thermal inertia can be explained by modeling a regolith layer over bedrock and two spatially heterogeneous scenarios. We find that the model in which Phaethon's north and south hemispheres have distinctly different thermophysical properties can sufficiently explain the thermal-inertias determined herein. In particular, we find that a boundary located between latitudes -30 deg and +10 deg separates fine-grained southern latitudes from a northern hemisphere that is dominated by coarse-grained regolith and/or a high coverage of porous boulders. We discuss the implications related to Phaethon's activity and potential association with 2005 UD.


title: Non-minimal non-Abelian quantum vector fields in curved spacetime

abstract: The quantum effective action of non-minimal vector fields with Abelian or non-Abelian gauge degrees of freedom in curved spacetime is studied. The Proca or Yang-Mills fields are coupled to a local mass-like term acting in both coordinate and gauge spaces. Pathologies due to gauge invariance in the ultraviolet are avoided through the introduction of a non-Abelian version of the Stueckelberg field. It is found that the breaking of gauge invariance induced by the mass term affects only the tree level part of the effective action. The ultraviolet divergent part of the effective action to one loop is obtained using the method of covariant symbols and dimensional regularization. Formulas are given valid for any spacetime dimension and explicit results are shown for the two-dimensional case. As already happened for a single vector field, the ultraviolet divergences are local but not of polynomial type.


title: Canonical analysis of Kalb-Ramond-Proca duality

abstract: It is shown that the canonical quantization of the free massive Kalb-Ramond and Curtright-Freund Lagrangians leads to the same theory obtained from the canonical quantization of the free Proca and Klein-Gordon Lagrangians. The duality in the presence of interaction is explored in the context of the Feynman rules and beyond. It is pointed out that the equivalence between massive dual models without gauge symmetry is rooted in an ambiguity of coordinate choices.


title: CTs for free products

abstract: The fundamental group of a finite graph of groups with trivial edge groups is a free product. We are interested in those outer automorphisms of such a free product that permute the conjugacy classes of the vertex groups. We show that in particular cases of interest, such as where vertex groups are themselves finite free products of finite and cyclic groups, given such an outer automorphism, after passing to a positive power, the outer automorphism is represented by a particularly nice kind of relative train track map called a CT. CTs were first introduced by Feighn and Handel for outer automorphisms of free groups. We develop the theory of attracting laminations for and principal automorphisms of free products. We prove that outer automorphisms of free products satisfy an index inequality reminiscent of a result of Gaboriau, Jaeger, Levitt and Lustig and sharpening a result of Martino. Finally, we prove a result reminiscent of a theorem of Culler on the fixed subgroup of an automorphism of a free product whose outer class has finite order.


title: Advancing Superconducting Magnet Diagnostics for Future Colliders

abstract: Future colliders will operate at increasingly high magnetic fields pushing limits of electromagnetic and mechanical stress on the conductor [1]. Understanding factors affecting superconducting (SC) magnet performance in challenging conditions of high mechanical stress and cryogenic temperatures is only possible with the use of advanced magnet diagnostics. Diagnostics provide a unique observation window into mechanical and electromagnetic processes associated with magnet operation, and give essential feedback to magnet design, simulations and material research activities. Development of novel diagnostic capabilities is therefore an integral part of next-generation magnet development. In this paper, we summarize diagnostics development needs from a prospective of the US Magnet Development Program (MDP), and define main research directions that could shape this field in the near future.


title: Instability from high-order resonant chains in wide-separation massive planet systems

abstract: Diversity in the properties of exoplanetary systems arises, in part, from dynamical evolution that occurs after planet formation. We use numerical integrations to explore the relative role of secular and resonant dynamics in the long-term evolution of model planetary systems, made up of three equal mass giant planets on initially eccentric orbits. The range of separations studied is dominated by secular processes, but intersects chains of high-order mean-motion resonances. Over time-scales of $10^8$ orbits, the secular evolution of the simulated systems is predominantly regular. High-order resonant chains, however, can be a significant source of angular momentum deficit (AMD), leading to instability. Using a time-series analysis based on a Hilbert transform, we associate instability with broad islands of chaotic evolution. Previous work has suggested that first-order resonances could modify the AMD of nominally secular systems and facilitate secular chaos. We find that higher-order resonances, when present in chains, can have similar impacts.


title: Understanding training in superconducting accelerator magnets using acoustic emission diagnostics

abstract: Among various long-standing standing problems in superconducting accelerator magnet development, training is one of the oldest and well-known issues affecting magnet performance. Understanding physics behind the training process is crucial for proper mitigation and elimination of this phenomenon in new magnet designs. This paper discusses application of acoustic emission (AE) diagnostics to localization and classification of transient mechanical events in superconducting magnets and characterization of transient energy releases responsible for premature quenching, memory effects and, ultimately, training. Prospective of future AE diagnostics development are outlined in connection to the goals of US Magnet Development Program.


title: Discovery of an electronic crystal in a cuprate Mott insulator

abstract: Copper oxide high temperature superconductors universally exhibit multiple forms of electronically ordered phases that break the native translational symmetry of the CuO2 planes. The interplay between these orders and the superconducting ground state, as well as how they arise through doping a Mott insulator, is essential to decode the mechanisms of high-temperature superconductivity. Over the years, various forms of electronic liquid crystal phases including charge/spin stripes and incommensurate charge-density-waves (CDWs) were found to emerge out of a correlated metallic ground state in underdoped cuprates. Early theoretical studies also predicted the emergence of a Coulomb-frustrated 'charge crystal' phase in the very lightly-doped, insulating limit of the CuO2 planes. Here, we use resonant X-ray scattering, electron transport, and muon spin rotation measurements to fully resolve the electronic and magnetic ground state and search for signatures of charge order in very lightly hole-doped cuprates from the RBa2Cu3O7-d family (RBCO; R: Y or rare earth). X-ray scattering data from RBCO films reveal a breaking of translational symmetry more pervasive than was previously known, extending down to the Mott limit. The ordering vector of this charge crystal state is linearly connected to the charge-density-waves of underdoped RBCO, suggesting that the former phase is a precursor to the latter as hole doping is increased. Most importantly, the coexistence of charge and spin order in RBCO suggests that this electronic symmetry-breaking state is common to the CuO2 planes in the very lightly-doped regime. These findings bridge the gap between the Mott insulating state and the underdoped metallic state and underscore the prominent role of Coulomb-frustrated electronic phase separation among all cuprates.


title: Improving stability of moving particle semi-implicit method by source terms based on time-scale correction of particle-level impulses

abstract: The aim of this paper is to investigate the unstable nature of pressure computation focusing on incompressible flow modeling through the projection-based particle methods. A new approach from the original viewpoint of the momentum conservation regarding particle-level collisions, hereinafter refered to as time-scale correction of particle-level impulses (TCPI), is proposed to derive new source terms of pressure Poisson equation (PPE). This results in more stable computations with drastic reduction of unphysical pressure oscillations and more robust simulation with pressure magnitudes almost independent to time step. Moreover, compared to other strategies, no additional computational effort is required, its implementation is extremely simple, and the only numerical parameter is the propagation speed of the perturbations, of which the calibration is much more straightforward due to its physical meaning. Simulations were carried out using moving particle semi-implicit (MPS) method improved by the proposed approach. The comparisons of computed results with theoretical and experimental ones confirmed the effectiveness of the proposed approach.


title: Prospects for the Measurement of the Standard Model Higgs Pair Production at the Muon Colliders

abstract: We study the Higgs pair production process at a muon collider using b-pair decays of the Higgs bosons. Efficient identification and good measurement resolution for the b-jet pair invariant mass are crucial for unearthing the di-Higgs signal. However, the beam-induced background has potential to drastically degrade the performance. We report on the full simulation studies of the degradation of the reconstructed b-jet pair invariant mass in di-Higgs events, considering only the beam-induced background in the calorimeter. Mitigation strategies for the suppression of the beam-induced background are underway. We also report prospects for the measurement of the Standard Model Higgs pair production at the Muon Colliders at various benchmarks of the collider center of mass energy and integrated luminosity using a fast simulation program.


title: SC2 Benchmark: Supervised Compression for Split Computing

abstract: With the increasing demand for deep learning models on mobile devices, splitting neural network computation between the device and a more powerful edge server has become an attractive solution. However, existing split computing approaches often underperform compared to a naive baseline of remote computation on compressed data. Recent studies propose learning compressed representations that contain more relevant information for supervised downstream tasks, showing improved tradeoffs between compressed data size and supervised performance. However, existing evaluation metrics only provide an incomplete picture of split computing. This study introduces supervised compression for split computing (SC2) and proposes new evaluation criteria: minimizing computation on the mobile device, minimizing transmitted data size, and maximizing model accuracy. We conduct a comprehensive benchmark study using 10 baseline methods, three computer vision tasks, and over 180 trained models, and discuss various aspects of SC2. We also release sc2bench, a Python package for future research on SC2. Our proposed metrics and package will help researchers better understand the tradeoffs of supervised compression in split computing.


title: Encrypted Operator Computing: a novel scheme for computation on encrypted data

abstract: We introduce a new approach to computation on encrypted data -- Encrypted Operator Computing (EOC) -- as an alternative to Fully Homomorphic Encryption (FHE). Given a plaintext vector $|{x}\rangle$, $x\in \{0,1\}^n$, and a function $F(x)$ represented as an operator $\hat F$, $\hat F\;|{x}\rangle = |{F(x)}\rangle$, the EOC scheme is based on obfuscating the conjugated operator (circuit) $\hat{F}^E = \hat E\;\hat F\;\hat{E}^{-1}$ that implements computation on encrypted data, $\hat E |{x}\rangle$. The construction of EOC hinges on the existence of a two-stage NC$^1$ reversible-circuit-based IND-CCA2 cipher $\hat{E} = \hat{N} \hat{L}$, where $\hat{L}$ and $\hat{N}$ represent, respectively, linear and non-linear NC$^1$ tree-structured circuits of 3-bit reversible gates. We make and motivate security assumptions about such a NC$^1$ cipher. Furthermore, we establish the polynomial complexity of the obfuscated circuit, the evaluator $O(\hat{F}^E)$, by proving that: (a) conjugation of each gate of $F$ with $\hat{L}$ yields a polynomial number of gates; and (b) the subsequent conjugation with $\hat{N}$ yields a polynomial number of ``chips,'' $n$-input/$n$-output reversible functions, with outputs expressed as polynomial-sized ordered Binary Decision Diagrams (OBDDs). The security of individual chips is connected to the notion of Best Possible Obfuscators which relies on poly-size OBDDs and the fact that OBDDs are normal forms that expose the functionality but hide the gate implementation of the chip. We conjecture that the addition of random pairs of NOTs between layers of $\hat{N}$ during the construction of $F^E$, a device analogous to the AddRoundKey rounds of AES, ensures the security of the the evaluator. We also present a generalization to asymmetric encryption.


title: Code Smells in Elixir: Early Results from a Grey Literature Review

abstract: Elixir is a new functional programming language whose popularity is rising in the industry. However, there are few works in the literature focused on studying the internal quality of systems implemented in this language. Particularly, to the best of our knowledge, there is currently no catalog of code smells for Elixir. Therefore, in this paper, through a grey literature review, we investigate whether Elixir developers discuss code smells. Our preliminary results indicate that 11 of the 22 traditional code smells cataloged by Fowler and Beck are discussed by Elixir developers. We also propose a list of 18 new smells specific for Elixir systems and investigate whether these smells are currently identified by Credo, a well-known static code analysis tool for Elixir. We conclude that only two traditional code smells and one Elixir-specific code smell are automatically detected by this tool. Thus, these early results represent an opportunity for extending tools such as Credo to detect code smells and then contribute to improving the internal quality of Elixir systems.


title: Layer Ensembles: A Single-Pass Uncertainty Estimation in Deep Learning for Segmentation

abstract: Uncertainty estimation in deep learning has become a leading research field in medical image analysis due to the need for safe utilisation of AI algorithms in clinical practice. Most approaches for uncertainty estimation require sampling the network weights multiple times during testing or training multiple networks. This leads to higher training and testing costs in terms of time and computational resources. In this paper, we propose Layer Ensembles, a novel uncertainty estimation method that uses a single network and requires only a single pass to estimate predictive uncertainty of a network. Moreover, we introduce an image-level uncertainty metric, which is more beneficial for segmentation tasks compared to the commonly used pixel-wise metrics such as entropy and variance. We evaluate our approach on 2D and 3D, binary and multi-class medical image segmentation tasks. Our method shows competitive results with state-of-the-art Deep Ensembles, requiring only a single network and a single pass.


title: A Simple and Computationally Trivial Estimator for Grouped Fixed Effects Models

abstract: This paper introduces a new fixed effects estimator for linear panel data models with clustered time patterns of unobserved heterogeneity. The method avoids non-convex and combinatorial optimization by combining a preliminary consistent estimator of the slope coefficient, an agglomerative pairwise-differencing clustering of cross-sectional units, and a pooled ordinary least squares regression. Asymptotic guarantees are established in a framework where $T$ can grow at any power of $N$, as both $N$ and $T$ approach infinity. Unlike most existing approaches, the proposed estimator is computationally straightforward and does not require a known upper bound on the number of groups. As existing approaches, this method leads to a consistent estimation of well-separated groups and an estimator of common parameters asymptotically equivalent to the infeasible regression controlling for the true groups. An application revisits the statistical association between income and democracy.


title: Finite-Length Scaling of SC-LDPC Codes With a Limited Number of Decoding Iterations

abstract: We propose four finite-length scaling laws to predict the frame error rate (FER) performance of spatially-coupled low-density parity-check codes under full belief propagation (BP) decoding with a limit on the number of decoding iterations and a scaling law for sliding window decoding, also with limited iterations. The laws for full BP decoding provide a choice between accuracy and computational complexity; a good balance between them is achieved by the law that models the number of decoded bits after a certain number of BP iterations by a time-integrated Ornstein-Uhlenbeck process. This framework is developed further to model sliding window decoding as a race between the integrated Ornstein-Uhlenbeck process and an absorbing barrier that corresponds to the left boundary of the sliding window. The proposed scaling laws yield accurate FER predictions.


title: Hyperbolic Uncertainty Aware Semantic Segmentation

abstract: Semantic segmentation (SS) aims to classify each pixel into one of the pre-defined classes. This task plays an important role in self-driving cars and autonomous drones. In SS, many works have shown that most misclassified pixels are commonly near object boundaries with high uncertainties. However, existing SS loss functions are not tailored to handle these uncertain pixels during training, as these pixels are usually treated equally as confidently classified pixels and cannot be embedded with arbitrary low distortion in Euclidean space, thereby degenerating the performance of SS. To overcome this problem, this paper designs a "Hyperbolic Uncertainty Loss" (HyperUL), which dynamically highlights the misclassified and high-uncertainty pixels in Hyperbolic space during training via the hyperbolic distances. The proposed HyperUL is model agnostic and can be easily applied to various neural architectures. After employing HyperUL to three recent SS models, the experimental results on Cityscapes and UAVid datasets reveal that the segmentation performance of existing SS models can be consistently improved.


title: Quantum algorithms from fluctuation theorems: Thermal-state preparation

abstract: Fluctuation theorems provide a correspondence between properties of quantum systems in thermal equilibrium and a work distribution arising in a non-equilibrium process that connects two quantum systems with Hamiltonians $H_0$ and $H_1=H_0+V$. Building upon these theorems, we present a quantum algorithm to prepare a purification of the thermal state of $H_1$ at inverse temperature $\beta \ge 0$ starting from a purification of the thermal state of $H_0$. The complexity of the quantum algorithm, given by the number of uses of certain unitaries, is $\tilde {\cal O}(e^{\beta (\Delta \! A- w_l)/2})$, where $\Delta \! A$ is the free-energy difference between $H_1$ and $H_0,$ and $w_l$ is a work cutoff that depends on the properties of the work distribution and the approximation error $\epsilon>0$. If the non-equilibrium process is trivial, this complexity is exponential in $\beta \|V\|$, where $\|V\|$ is the spectral norm of $V$. This represents a significant improvement of prior quantum algorithms that have complexity exponential in $\beta \|H_1\|$ in the regime where $\|V\|\ll \|H_1\|$. The dependence of the complexity in $\epsilon$ varies according to the structure of the quantum systems. It can be exponential in $1/\epsilon$ in general, but we show it to be sublinear in $1/\epsilon$ if $H_0$ and $H_1$ commute, or polynomial in $1/\epsilon$ if $H_0$ and $H_1$ are local spin systems. The possibility of applying a unitary that drives the system out of equilibrium allows one to increase the value of $w_l$ and improve the complexity even further. To this end, we analyze the complexity for preparing the thermal state of the transverse field Ising model using different non-equilibrium unitary processes and see significant complexity improvements.


title: Testing the empirical relationship between Forbush decreases and cosmic ray diurnal anisotropy

abstract: The abrupt aperiodic modulation of cosmic ray (CR) flux intensity, often referred to as Forbush decrease (FD), plays a significant role in our understanding of the Sun-Earth electrodynamics. Accurate and precise determination of FD magnitude and timing are among the intractable problems in FD-based analysis. FD identification is complicated by CR diurnal anisotropy. CR anisotropy can increase or reduce the number and amplitude of FDs. It is therefore important to remove its contributions from CR raw data before FD identification. Recently, an attempt was made, using a combination of Fourier transformed technique and FD-location machine to address this. Thus, two FD catalogs and amplitude diurnal variation (ADV) were calculated from filtered (FD1 and ADV) and raw (FD2) CR data. In the current work, we test the empirical relationship between FD1, FD2, ADV, and solar-geophysical characteristics. Our analysis shows that two types of magnetic fields-interplanetary (IMF) and geomagnetic (Dst) govern the evolution of CR flux intensity reductions.


title: Quantum Kernel Methods for Solving Differential Equations

abstract: We propose several approaches for solving differential equations (DEs) with quantum kernel methods. We compose quantum models as weighted sums of kernel functions, where variables are encoded using feature maps and model derivatives are represented using automatic differentiation of quantum circuits. While previously quantum kernel methods primarily targeted classification tasks, here we consider their applicability to regression tasks, based on available data and differential constraints. We use two strategies to approach these problems. First, we devise a mixed model regression with a trial solution represented by kernel-based functions, which is trained to minimize a loss for specific differential constraints or datasets. Second, we use support vector regression that accounts for the structure of differential equations. The developed methods are capable of solving both linear and nonlinear systems. Contrary to prevailing hybrid variational approaches for parametrized quantum circuits, we perform training of the weights of the model classically. Under certain conditions this corresponds to a convex optimization problem, which can be solved with provable convergence to global optimum of the model. The proposed approaches also favor hardware implementations, as optimization only uses evaluated Gram matrices, but require quadratic number of function evaluations. We highlight trade-offs when comparing our methods to those based on variational quantum circuits such as the recently proposed differentiable quantum circuits (DQC) approach. The proposed methods offer potential quantum enhancement through the rich kernel representations using the power of quantum feature maps, and start the quest towards provably trainable quantum DE solvers.


title: Short and local transformations between ($\Delta+1$)-colorings

abstract: Recoloring a graph is about finding a sequence of proper colorings of this graph from an initial coloring $\sigma$ to a target coloring $\eta$. Adding the constraint that each pair of consecutive colorings must differ on exactly one vertex, one asks: Is there a sequence of colorings from $\sigma$ to $\eta$? If yes, how short can it be? In this paper, we focus on $(\Delta+1)$-colorings of graphs of maximum degree $\Delta$. Feghali, Johnson and Paulusma proved that, if both colorings are non-frozen (i.e. we can change the color of a least one vertex), then a quadratic recoloring sequence always exists. We improve their result by proving that there actually exists a linear transformation (assuming that $\Delta$ is a constant). In addition, we prove that the core of our algorithm can be performed locally. Informally, this means that after some preprocessing, the color changes that a given node has to perform only depend on the colors of the vertices in a constant size neighborhood. We make this precise by designing of an efficient recoloring algorithm in the LOCAL model of distributed computing.


title: On the Origin of Plasticity-Induced Microstructure Change under Sliding Contacts

abstract: Discrete dislocation plasticity (DDP) calculations are carried out to investigate the response of a single crystal contacted by a rigid sinusoidal asperity under sliding loading conditions to look for causes of microstructure change in the dislocation structure. The mechanistic driver is identified as the development of lattice rotations and stored energy in the subsurface, which can be quantitatively correlated to recent tribological experimental observations. Maps of surface slip initiation and substrate permanent deformation obtained from DDP calculations for varying contact size and normal load suggest ways of optimally tailoring the interface and microstructural material properties for various frictional loads.


title: On Redundancy and Diversity in Cell-based Neural Architecture Search

abstract: Searching for the architecture cells is a dominant paradigm in NAS. However, little attention has been devoted to the analysis of the cell-based search spaces even though it is highly important for the continual development of NAS. In this work, we conduct an empirical post-hoc analysis of architectures from the popular cell-based search spaces and find that the existing search spaces contain a high degree of redundancy: the architecture performance is minimally sensitive to changes at large parts of the cells, and universally adopted designs, like the explicit search for a reduction cell, significantly increase the complexities but have very limited impact on the performance. Across architectures found by a diverse set of search strategies, we consistently find that the parts of the cells that do matter for architecture performance often follow similar and simple patterns. By explicitly constraining cells to include these patterns, randomly sampled architectures can match or even outperform the state of the art. These findings cast doubts into our ability to discover truly novel architectures in the existing cell-based search spaces, and inspire our suggestions for improvement to guide future NAS research. Code is available at https://github.com/xingchenwan/cell-based-NAS-analysis.


title: A Predicted Dearth of Majority Hypervolatile Ices in Oort Cloud Comets

abstract: We present new, ice species-specific New Horizons/Alice upper gas coma production limits from the 01 Jan 2019 MU69/Arrokoth flyby of Gladstone et al. (2021) and use them to make predictions about the rarity of majority hypervolatile (CO, N$_2$, CH$_4$) ices in KBOs and Oort Cloud comets. These predictions have a number of important implications for the study of the Oort Cloud, including: determination of hypervolatile rich comets as the first objects emplaced into the Oort Cloud; measurement of CO/N$_2$/CH$_4$ abundance ratios in the proto-planetary disk from hypervolatile rich comets; and population statistical constraints on early (< 20 Myr) planetary aggregation driven versus later (> 50 Myr) planetary migration driven emplacement of objects into the Oort Cloud. They imply that the phenomenon of ultra-distant active comets like C/2017K2 (Jewitt et al. 2017, Hui et al. 2018) should be rare, and thus not a general characteristic of all comets. They also suggest that interstellar object 2I/Borisov did not originate in a planetary system that was inordinately CO rich (Bodewits et al. 2020), but rather could have been ejected onto an interstellar trajectory very early in its natal system's history.


title: Social-Cultural Factors in the Design of Technology for Hispanic People with Stroke

abstract: Stroke is a leading cause of serious, long-term disability in the United States. There exist disparities in both stroke prevalence and outcomes between people with stroke in Hispanic and Latinx communities and the general stroke population. Current stroke technology - which aims to improve quality of life and bring people with stroke to the most functional, independent state possible - has shown promising results for the general stroke population, but has failed to close the recovery outcome gap for underserved Hispanic and Latinx people with stroke. Previous work in health education, digital health, and HRI has improved human health outcomes by incorporating social-cultural factors, though not for stroke. In this position paper, we aim to justify accounting for unique cultural factors in stroke technology design for the Hispanic and Latinx community. We review examples of successful culturally appropriate interventions and suggest design considerations (mutually beneficial community consultation, accommodating for barriers beforehand, building on culture, and incorporating education of the family) to provide more culturally appropriate design of Hispanic and Latinx stroke technology and reduce the disparity gap.


title: The Mathematics of Artificial Intelligence

abstract: We currently witness the spectacular success of artificial intelligence in both science and public life. However, the development of a rigorous mathematical foundation is still at an early stage. In this survey article, which is based on an invited lecture at the International Congress of Mathematicians 2022, we will in particular focus on the current "workhorse" of artificial intelligence, namely deep neural networks. We will present the main theoretical directions along with several exemplary results and discuss key open problems.


title: Improved analysis of converging shock radiographs

abstract: We previously reported an experimental platform to induce a spherically-convergent shock in a sample using laser-driven ablation, probed with time-resolved x-ray radiography, and an analysis method to deduce states along the principal shock Hugoniot simultaneously with the x-ray opacity. We have now developed a modified method of analysis that is numerically better-conditioned and faster, and usually provides a better representation of the radiograph with correspondingly lower uncertainties. The previous approach was based on optimizing parameters in a model of the density distribution as a function of radius and time, warped to follow loci such as the shock and the outside of the sample. The converging shock configuration can be described more efficiently in terms of the shocked density and sound speed, expressed as functions of the shock speed Studies of the Hugoniot from various theoretical equations of state (EOS) indicate that, in the typical range of states explored by these experiments, these functions can be described by low-order polynomials. Similarly, few-parameter functions were found suitable for representing the variation of x-ray opacity with shock pressure. This approach was found to perform better in most cases than an alternative method based on parameterization of the EOS.


title: $\sin^2\theta_W$ and neutrino electromagnetic interactions in CE$\bar{\nu}_e$NS with different quenching factors

abstract: Recently, evidence for the observation of about 2 keV and below nuclear recoils from the coherent scattering of reactor anti-neutrinos off the germanium nuclei has been reported. We analyze the observed data to estimate the value of the weak mixing angle and constrain the neutrino millicharge, magnetic moment, charge radius and anapole moment contributing to the coherent scattering process. Currently, there is no definite model available for the quenching factor at such low energies. To this end, we consider various models of the quenching factor and show how it affects the interpretation of the obtained results. We find that the bounds obtained are stronger in some cases while comparable or weaker in other cases which show a strong dependence on the choice and accuracy of a particular quenching factor model. The results are the first at such low-energy nuclear recoils. We present an exhaustive list of analytical functions for the different quenching factors corresponding to the existing models and to the data from various experiments. Such functions will be useful for any new physics study using the nuclear recoils due to the reactor neutrinos.


title: Multimodal Learning on Graphs for Disease Relation Extraction

abstract: Objective: Disease knowledge graphs are a way to connect, organize, and access disparate information about diseases with numerous benefits for artificial intelligence (AI). To create knowledge graphs, it is necessary to extract knowledge from multimodal datasets in the form of relationships between disease concepts and normalize both concepts and relationship types. Methods: We introduce REMAP, a multimodal approach for disease relation extraction and classification. The REMAP machine learning approach jointly embeds a partial, incomplete knowledge graph and a medical language dataset into a compact latent vector space, followed by aligning the multimodal embeddings for optimal disease relation extraction. Results: We apply REMAP approach to a disease knowledge graph with 96,913 relations and a text dataset of 1.24 million sentences. On a dataset annotated by human experts, REMAP improves text-based disease relation extraction by 10.0% (accuracy) and 17.2% (F1-score) by fusing disease knowledge graphs with text information. Further, REMAP leverages text information to recommend new relationships in the knowledge graph, outperforming graph-based methods by 8.4% (accuracy) and 10.4% (F1-score). Conclusion: REMAP is a multimodal approach for extracting and classifying disease relationships by fusing structured knowledge and text information. REMAP provides a flexible neural architecture to easily find, access, and validate AI-driven relationships between disease concepts.


title: Decision Trees with Hypotheses for Recognition of Monotone Boolean Functions and for Sorting

abstract: In this paper, we consider decision trees that use both queries based on one attribute each and queries based on hypotheses about values of all attributes. Such decision trees are similar to ones studied in exact learning, where not only membership but also equivalence queries are allowed. We investigate the problem of recognition of monotone Boolean functions with $n$ variables, $n=2, \ldots, 4$, and the problem of sorting $n$ pairwise different elements from linearly ordered set, $n=3, \ldots, 6$. For each of these problems, we compare the complexity of different types of optimal (relative to the depth or the number of realizable nodes) decision trees with hypotheses. We also study the complexity of decision trees constructed by entropy-based greedy algorithm and analyze the length of decision rules derived from these trees.


title: Explaining Preference-driven Schedules: the EXPRES Framework

abstract: Scheduling is the task of assigning a set of scarce resources distributed over time to a set of agents, who typically have preferences about the assignments they would like to get. Due to the constrained nature of these problems, satisfying all agents' preferences is often infeasible, which might lead to some agents not being happy with the resulting schedule. Providing explanations has been shown to increase satisfaction and trust in solutions produced by AI tools. However, it is particularly challenging to explain solutions that are influenced by and impact on multiple agents. In this paper we introduce the EXPRES framework, which can explain why a given preference was unsatisfied in a given optimal schedule. The EXPRES framework consists of: (i) an explanation generator that, based on a Mixed-Integer Linear Programming model, finds the best set of reasons that can explain an unsatisfied preference; and (ii) an explanation parser, which translates the generated explanations into human interpretable ones. Through simulations, we show that the explanation generator can efficiently scale to large instances. Finally, through a set of user studies within J.P. Morgan, we show that employees preferred the explanations generated by EXPRES over human-generated ones when considering workforce scheduling scenarios.


title: Sat-NeRF: Learning Multi-View Satellite Photogrammetry With Transient Objects and Shadow Modeling Using RPC Cameras

abstract: We introduce the Satellite Neural Radiance Field (Sat-NeRF), a new end-to-end model for learning multi-view satellite photogrammetry in the wild. Sat-NeRF combines some of the latest trends in neural rendering with native satellite camera models, represented by rational polynomial coefficient (RPC) functions. The proposed method renders new views and infers surface models of similar quality to those obtained with traditional state-of-the-art stereo pipelines. Multi-date images exhibit significant changes in appearance, mainly due to varying shadows and transient objects (cars, vegetation). Robustness to these challenges is achieved by a shadow-aware irradiance model and uncertainty weighting to deal with transient phenomena that cannot be explained by the position of the sun. We evaluate Sat-NeRF using WorldView-3 images from different locations and stress the advantages of applying a bundle adjustment to the satellite camera models prior to training. This boosts the network performance and can optionally be used to extract additional cues for depth supervision.


title: Gate-Shift-Fuse for Video Action Recognition

abstract: Convolutional Neural Networks are the de facto models for image recognition. However 3D CNNs, the straight forward extension of 2D CNNs for video recognition, have not achieved the same success on standard action recognition benchmarks. One of the main reasons for this reduced performance of 3D CNNs is the increased computational complexity requiring large scale annotated datasets to train them in scale. 3D kernel factorization approaches have been proposed to reduce the complexity of 3D CNNs. Existing kernel factorization approaches follow hand-designed and hard-wired techniques. In this paper we propose Gate-Shift-Fuse (GSF), a novel spatio-temporal feature extraction module which controls interactions in spatio-temporal decomposition and learns to adaptively route features through time and combine them in a data dependent manner. GSF leverages grouped spatial gating to decompose input tensor and channel weighting to fuse the decomposed tensors. GSF can be inserted into existing 2D CNNs to convert them into an efficient and high performing spatio-temporal feature extractor, with negligible parameter and compute overhead. We perform an extensive analysis of GSF using two popular 2D CNN families and achieve state-of-the-art or competitive performance on five standard action recognition benchmarks.


title: Neural network processing of holographic images

abstract: HOLODEC, an airborne cloud particle imager, captures holographic images of a fixed volume of cloud to characterize the types and sizes of cloud particles, such as water droplets and ice crystals. Cloud particle properties include position, diameter, and shape. We present a hologram processing algorithm, HolodecML, that utilizes a neural segmentation model, GPUs, and computational parallelization. HolodecML is trained using synthetically generated holograms based on a model of the instrument, and predicts masks around particles found within reconstructed images. From these masks, the position and size of the detected particles can be characterized in three dimensions. In order to successfully process real holograms, we find we must apply a series of image corrupting transformations and noise to the synthetic images used in training. In this evaluation, HolodecML had comparable position and size estimation performance to the standard processing method, but improved particle detection by nearly 20\% on several thousand manually labeled HOLODEC images. However, the improvement only occurred when image corruption was performed on the simulated images during training, thereby mimicking non-ideal conditions in the actual probe. The trained model also learned to differentiate artifacts and other impurities in the HOLODEC images from the particles, even though no such objects were present in the training data set, while the standard processing method struggled to separate particles from artifacts. The novelty of the training approach, which leveraged noise as a means for parameterizing non-ideal aspects of the HOLODEC detector, could be applied in other domains where the theoretical model is incapable of fully describing the real-world operation of the instrument and accurate truth data required for supervised learning cannot be obtained from real-world observations.


title: First Experimental Demonstration of Optical Stochastic Cooling

abstract: Particle accelerators and storage rings have been transformative instruments of discovery, and, for many applications, innovations in particle-beam cooling have been a principal driver of that success1. Beam cooling reduces the spread in particle positions and momenta, while keeping the number of particles constant, and combats diffusive effects, thereby enabling particle accumulation and the production and preservation of intense beams. In the case of particle colliders, cooling increases the likelihood of observing rare physics events. One of the most important conceptual and technological advances in this area was stochastic cooling (SC), which was instrumental in the discovery of the W and Z bosons at CERN and the top quark at Fermilab2-6. SC reduces the random motion of the beam particles through granular sampling and correction of the beams phase-space structure, thus bearing resemblance to a Maxwells demon. The extension of SC from the microwave regime up to optical frequencies and bandwidths has long been pursued as it could increase the achievable cooling rates by three to four orders of magnitude and provide a powerful new tool for future accelerators. First proposed nearly thirty years ago, Optical Stochastic Cooling (OSC) replaces the conventional microwave elements of SC with optical-frequency analogs and is, in principle, compatible with any species of charged-particle beam7,8. Here we describe the first experimental demonstration of OSC in a proof-of-principle experiment9 at the Fermi National Accelerator Laboratorys Integrable Optics Test Accelerator10.


title: A Structure-Preserving Divide-and-Conquer Method for Pseudosymmetric Matrices

abstract: We devise a spectral divide-and-conquer scheme for matrices that are self-adjoint with respect to a given indefinite scalar product (i.e. pseudosymmetic matrices). The pseudosymmetric structure of the matrix is preserved in the spectral division, such that the method can be applied recursively to achieve full diagonalization. The method is well-suited for structured matrices that come up in computational quantum physics and chemistry. In this application context, additional definiteness properties guarantee a convergence of the matrix sign function iteration within two steps when Zolotarev functions are used. The steps are easily parallelizable. Furthermore, it is shown that the matrix decouples into symmetric definite eigenvalue problems after just one step of spectral division.


title: Blockchain as privacy and security solution for smart environments: A Survey

abstract: Blockchain was always associated with Bitcoin, cryptocurrencies, and digital asset trading. However, its benefits are far beyond that. It supports technologies like the Internet-of-Things (IoT) to pave the way for futuristic smart environments, like smart homes, smart transportation, smart energy trading, smart industries, smart supply chains, and more. To enable these environments, IoT devices, machines, appliances, and vehicles, need to intercommunicate without the need for centralized trusted parties. Blockchain replaces these trusted parties in such trustless environments. It provides security enforcement, privacy assurance, authentication, and other key features to IoT ecosystems. Besides IoT-Blockchain integration, other technologies add more benefits that attract the research community. Software-Defined Networking (SDN), Fog, Edge, and Cloud Computing technologies, for example, play a key role in enabling realistic IoT applications. Moreover, the integration of Artificial Intelligence (AI) provides smart, dynamic, and autonomous decision-making capabilities for IoT devices in smart environments. To push the research further in this domain, we provide in this paper a comprehensive survey that includes state-of-the-art technological integration, challenges, and solutions for smart environments, and the role of these technologies as the building blocks of such smart environments. We also demonstrate how the level of integration between these technologies has increased over the years, which brings us closer to the futuristic view of smart environments. We further discuss the current need to provide general-purpose Blockchain platforms that can adapt to unique design requirements of different applications and solutions. Finally, we provide a simplified architecture of futuristic smart environments that integrate these technologies, showing the advantage of such integration.


title: Price Tracing: Linking Nodal Prices in Optimized Power Systems

abstract: Optimizing the total cost of power systems is a common tool for network operation and planning. Besides valuable information about how to run and possibly expand a power system, the optimization provides an optimal Locational Marginal Price per node and time step. This price can be seen as the price of electricity paid by consumers and purchased by suppliers, while maximizing social welfare. Naturally, it is a direct result of the optimization problem, and therefore does not give any information about its internal composition. This paper shows that by applying Flow Tracing, an algorithm for tracking flows in complex networks, it is possible to interlink Locational Marginal Prices in a coherent mathematical way. This does not only lead to important insights into the price structure, but also provides an intuitive decomposition and allocation of all system costs. Then individual consumers see how much they have to pay to individual generators and transmission lines in the power system. This method, introduced as Price Tracing, outperforms similar approaches provided by the literature, since the resulting cost allocations are transparent, plausible, and consistent with the Locational Marginal Prices from the optimization. The Price Tracing method is applied and discussed on behalf of a power system model of Germany with a high share of renewable power. The presented analysis and its implications can help in finding a more efficient market design to promote renewable power supply.


title: SMARTmBOT: A ROS2-based Low-cost and Open-source Mobile Robot Platform

abstract: This paper introduces SMARTmBOT, an open-source mobile robot platform based on Robot Operating System 2 (ROS2). The characteristics of the SMARTmBOT, including low-cost, modular-typed, customizable and expandable design, make it an easily achievable and effective robot platform to support broad robotics research and education involving either single-robot or multi-robot systems. The total cost per robot is approximately $210, and most hardware components can be fabricated by a generic 3D printer, hence allowing users to build the robots or replace any broken parts conveniently. The SMARTmBot is also equipped with a rich range of sensors, making it competent for general task scenarios, such as point-to-point navigation and obstacle avoidance. We validated the mobility and function of SMARTmBOT through various robot navigation experiments and applications with tasks including go-to-goal, pure-pursuit, line following, and swarming. All source code necessary for reading sensors, streaming from an embedded camera, and controlling the robot including robot navigation controllers is available through an online repository that can be found at https://github.com/SMARTlab-Purdue/SMARTmBOT.


title: Optothermal evolution of active colloidal matter in defocused laser trap

abstract: Optothermal interaction of active colloidal matter can facilitate environmental cues which can influence the dynamics of active soft matter systems. The optically induced thermal effect can be harnessed to study non-equilibrium thermodynamics as well as applied to self-propel colloids and form assemblies. In this work, we employ a defocused laser trap to form self-evolving colloidal active matter. The optothermal interaction of the active colloids in both focused and defocused optical trap has been investigated to ascertain their thermophoretic behavior, which shows a long-range attraction and a short-range repulsion between the colloids. The optical gradient field enabled attraction and the short-range repulsion between the active colloids have been harnessed to form re-configurable dynamic assembly. Additionally, the assembly undergoes self-evolution as a new colloid joins the structure. Further, we show that the incident polarization state of the optical field can be employed as a parameter to modulate the structural orientation of the active colloids. The simple defocused optical field-enabled assembly can serve as a model to understand the collective dynamics of active matter systems, and can be harnessed as re-configurable microscopic engine.

categories: cond-mat.soft cond-mat.mes-hall physics.app-ph physics.optics


title: Probing confinement in a $\mathbb{Z}_2$ lattice gauge theory on a quantum computer

abstract: Digital quantum simulators provide a table-top platform for addressing salient questions in particle and condensed-matter physics. A particularly rewarding target is given by lattice gauge theories (LGTs). Their constituents, e.g., charged matter and the electric gauge field, are governed by local gauge constraints, which are highly challenging to engineer and which lead to intriguing yet not fully understood features such as confinement of particles. Here, we simulate confinement dynamics in a $\mathbb{Z}_2$ LGT on a superconducting quantum chip. We synthesize the charge--gauge-field interaction using only 6 native two-qubit gates, enabling us to reach simulation times of up to 25 Trotter steps. We observe how tuning a term that couples only to the electric field confines the charges, a manifestation of the tight bond that the local gauge constraint generates between both. Moreover, we study a different mechanism, where a modification of the gauge constraint from a $\mathbb{Z}_2$ to a $\mathrm{U}(1)$ symmetry freezes the system dynamics. Our work showcases the dramatic restriction that the underlying gauge constraint imposes on the dynamics of an LGT, it illustrates how gauge constraints can be modified and protected, and it paves the way for studying other models governed by many-body interactions.

categories: quant-ph cond-mat.str-el hep-lat nucl-th


title: ORCA: A Network and Architecture Co-design for Offloading us-scale Datacenter Applications

abstract: Responding to the "datacenter tax" and "killer microseconds" problems for datacenter applications, diverse solutions including Smart NIC-based ones have been proposed. Nonetheless, they often suffer from high overhead of communications over network and/or PCIe links. To tackle the limitations of the current solutions, this paper proposes ORCA, a holistic network and architecture co-design solution that leverages current RDMA and emerging cache-coherent off-chip interconnect technologies. Specifically, ORCA consists of four hardware and software components: (1) unified abstraction of inter- and intra-machine communications managed by one-sided RDMA write and cache-coherent memory write; (2) efficient notification of requests to accelerators assisted by cache coherence; (3) cache-coherent accelerator architecture directly processing requests received by NIC; and (4) adaptive device-to-host data transfer for modern server memory systems consisting of both DRAM and NVM exploiting state-of-the-art features in CPUs and PCIe. We prototype ORCA with a commercial system and evaluate three popular datacenter applications: in-memory key-value store, chain replication-based distributed transaction system, and deep learning recommendation model inference. The evaluation shows that ORCA provides 30.1~69.1% lower latency, up to 2.5x higher throughput, and 3x higher power efficiency than the current state-of-the-art solutions.


title: Observational constraints on the interacting dark energy - dark matter (IDM) cosmological models

abstract: Particle creation (or annihilation) mechanisms, described by either quantum field theoretical models, or by the thermodynamics of irreversible processes, play an important role in the evolution of the early Universe, like, for example, in the warm inflationary scenario. Following a similar approach, based on the thermodynamics of open systems, in the present work we investigate the consequences of the interaction, decay, and particle generation in a many-component Universe, containing dark energy, dark matter, radiation, and ordinary matter, respectively. In this model, due to the interaction between these components, and of the corresponding thermodynamical properties, the conservation equations of different cosmological constituents are not satisfied individually. We introduce a thermodynamic description of the Universe, in which two novel physical aspects, the particle number balance equations, and the creation pressures, are considered, thus making the cosmological evolution equations thermodynamically consistent. To constrain the free parameters of the model several observational data sets are employed, including the Planck data sets, Riess 2020, BAO, as well as Pantheon data. By using a scaling ansatz for the dark matter to dark energy ratio, and by imposing constraints from Planck+Riess 2020 data, this model predicts an acceptable value for the Hubble parameter, and thus it may provide a solution to the so-called Hubble tension problem, much debated recently.


title: Adversarial Support Alignment

abstract: We study the problem of aligning the supports of distributions. Compared to the existing work on distribution alignment, support alignment does not require the densities to be matched. We propose symmetric support difference as a divergence measure to quantify the mismatch between supports. We show that select discriminators (e.g. discriminator trained for Jensen-Shannon divergence) are able to map support differences as support differences in their one-dimensional output space. Following this result, our method aligns supports by minimizing a symmetrized relaxed optimal transport cost in the discriminator 1D space via an adversarial process. Furthermore, we show that our approach can be viewed as a limit of existing notions of alignment by increasing transportation assignment tolerance. We quantitatively evaluate the method across domain adaptation tasks with shifts in label distributions. Our experiments show that the proposed method is more robust against these shifts than other alignment-based baselines.


title: Morphological Processing of Low-Resource Languages: Where We Are and What's Next

abstract: Automatic morphological processing can aid downstream natural language processing applications, especially for low-resource languages, and assist language documentation efforts for endangered languages. Having long been multilingual, the field of computational morphology is increasingly moving towards approaches suitable for languages with minimal or no annotated resources. First, we survey recent developments in computational morphology with a focus on low-resource languages. Second, we argue that the field is ready to tackle the logical next challenge: understanding a language's morphology from raw text alone. We perform an empirical study on a truly unsupervised version of the paradigm completion task and show that, while existing state-of-the-art models bridged by two newly proposed models we devise perform reasonably, there is still much room for improvement. The stakes are high: solving this task will increase the language coverage of morphological resources by a number of magnitudes.


title: The equivalence of two inequalities for quasisymmetric designs

abstract: It has been an open problem whether Hobart's inequality on the parameters of a quasisymmetric 2-design is independent of earlier known restrictions. In this note we show that it is equivalent to inequalities found by Neumaier and Calderbank. We also give some more parameter sets ruled out by the Blokhuis-Calderbank inequality.


title: Complex Analytic Dependence on the Dielectric Permittivity in ENZ Materials: The Photonic Doping Example

abstract: Motivated by the physics literature on "photonic doping" of scatterers made from "epsilon-near-zero" (ENZ) matrials, we consider how the scattering of time-harmonic TM electromagnetic waves by a cylindrical ENZ region $\Omega \times \mathbb{R}$ is affected by the presence of a "dopant" $D \subset \Omega$ in which the dielectric permittivity is not near zero. Mathematically, this reduces to analysis of a 2D Helmholtz equation $\mathrm{div}\, (a(x)\nabla u) + k^2 u = f$ with a piecewise-constant, complex valued coefficient $a$ that is nearly infinite (say $a = \frac{1}{\delta}$ with $\delta \approx 0$) in $\Omega \setminus \bar{D}.$ We show (under suitable hypotheses) that the solution $u$ depends analytically on $\delta$ near $0$, and we give a simple PDE characterization of the terms in its Taylor expansion. For the application to photonic doping, it is the leading-order corrections in $\delta$ that are most interesting: they explain why photonic doping is only mildly affected by the presence of losses, and why it is seen even at frequencies where dielectric permittivity is merely small. Equally important: our results include a PDE characterization of the leading-order electric field in the ENZ region as $\delta \to 0$, whereas the existing literature on photonic doping provides only the leading-order magnetic field.

categories: math.AP cond-mat.mtrl-sci math-ph math.MP


title: The Best of Both Worlds: Combining Learned Embeddings with Engineered Features for Accurate Prediction of Correct Patches

abstract: A large body of the literature on automated program repair develops approaches where patches are automatically generated to be validated against an oracle (e.g., a test suite). Because such an oracle can be imperfect, the generated patches, although validated by the oracle, may actually be incorrect. Our empirical work investigates different representation learning approaches for code changes to derive embeddings that are amenable to similarity computations of patch correctness identification, and assess the possibility of accurate classification of correct patch by combining learned embeddings with engineered features. Experimental results demonstrate the potential of learned embeddings to empower Leopard (a patch correctness predicting framework implemented in this work) with learning algorithms in reasoning about patch correctness: a machine learning predictor with BERT transformer-based learned embeddings associated with XGBoost achieves an AUC value of about 0.803 in the prediction of patch correctness on a new dataset of 2,147 labeled patches that we collected for the experiments. Our investigations show that deep learned embeddings can lead to complementary/better performance when comparing against the state-of-the-art, PATCH-SIM, which relies on dynamic information. By combining deep learned embeddings and engineered features, Panther (the upgraded version of Leopard implemented in this work) outperforms Leopard with higher scores in terms of AUC, +Recall and -Recall, and can accurately identify more (in)correct patches that cannot be predicted by the classifiers only with learned embeddings or engineered features. Finally, we use an explainable ML technique, SHAP, to empirically interpret how the learned embeddings and engineered features are contributed to the patch correctness prediction.


title: Memorizing Transformers

abstract: Language models typically need to be trained or finetuned in order to acquire new knowledge, which involves updating their weights. We instead envision language models that can simply read and memorize new data at inference time, thus acquiring new knowledge immediately. In this work, we extend language models with the ability to memorize the internal representations of past inputs. We demonstrate that an approximate kNN lookup into a non-differentiable memory of recent (key, value) pairs improves language modeling across various benchmarks and tasks, including generic webtext (C4), math papers (arXiv), books (PG-19), code (Github), as well as formal theorems (Isabelle). We show that the performance steadily improves when we increase the size of memory up to 262K tokens. On benchmarks including code and mathematics, we find that the model is capable of making use of newly defined functions and theorems during test time.


title: Knee arthritis severity measurement using deep learning: a publicly available algorithm with a multi-institutional validation showing radiologist-level performance

abstract: The assessment of knee osteoarthritis (KOA) severity on knee X-rays is a central criteria for the use of total knee arthroplasty. However, this assessment suffers from imprecise standards and a remarkably high inter-reader variability. An algorithmic, automated assessment of KOA severity could improve overall outcomes of knee replacement procedures by increasing the appropriateness of its use. We propose a novel deep learning-based five-step algorithm to automatically grade KOA from posterior-anterior (PA) views of radiographs: (1) image preprocessing (2) localization of knees joints in the image using the YOLO v3-Tiny model, (3) initial assessment of the severity of osteoarthritis using a convolutional neural network-based classifier, (4) segmentation of the joints and calculation of the joint space narrowing (JSN), and (5), a combination of the JSN and the initial assessment to determine a final Kellgren-Lawrence (KL) score. Furthermore, by displaying the segmentation masks used to make the assessment, our algorithm demonstrates a higher degree of transparency compared to typical "black box" deep learning classifiers. We perform a comprehensive evaluation using two public datasets and one dataset from our institution, and show that our algorithm reaches state-of-the art performance. Moreover, we also collected ratings from multiple radiologists at our institution and showed that our algorithm performs at the radiologist level. The software has been made publicly available at https://github.com/MaciejMazurowski/osteoarthritis-classification.


title: On $\mathbb{F}_2^\omega$-affine-exchangeable probability measures

abstract: For any standard Borel space $B$, let $\mathcal{P}(B)$ denote the space of Borel probability measures on $B$. In relation to a difficult problem of Aldous in exchangeability theory, and in connection with arithmetic combinatorics, Austin raised the question of describing the structure of affine-exchangeable probability measures on product spaces indexed by the vector space $\mathbb{F}_2^\omega$, i.e., the measures in $\mathcal{P}(B^{\mathbb{F}_2^\omega})$ that are invariant under the coordinate permutations on $B^{\mathbb{F}_2^\omega}$ induced by all affine automorphisms of $\mathbb{F}_2^{\omega}$. We answer this question by describing the extreme points of the space of such affine-exchangeable measures. We prove that there is a single structure underlying every such measure, namely, a random infinite-dimensional cube (sampled using Haar measure adapted to a specific filtration) on a group that is a countable power of the 2-adic integers. Indeed, every extreme affine-exchangeable measure in $\mathcal{P}(B^{\mathbb{F}_2^\omega})$ is obtained from a $\mathcal{P}(B)$-valued function on this group, by a vertex-wise composition with this random cube. The consequences of this result include a description of the convex set of affine-exchangeable measures in $\mathcal{P}(B^{\mathbb{F}_2^\omega})$ equipped with the vague topology (when $B$ is a compact metric space), showing that this convex set is a Bauer simplex. We also obtain a correspondence between affine-exchangeability and limits of convergent sequences of (compact-metric-space valued) functions on vector spaces $\mathbb{F}_2^n$ as $n\to\infty$. Via this correspondence, we establish the above-mentioned group as a general limit domain valid for any such sequence.


title: The need for structural changes to create impactful public engagement in US particle physics

abstract: This Snowmass21 Contributed Paper addresses the structural changes that need to occur in the many groups and organizations that intersect with the US particle physics community to enable impactful public engagement to flourish. The impetus for these changes should come from the particle physics community, which should acknowledge the importance of public engagement and act on the recommendations in this Snowmass contributed paper. Scientists have expressed frustration at the barriers, penalties and lack of support that discourage them from participating in public engagement. In this paper, we provide many ways to create a supportive, enabling atmosphere for public engagement among physicists.


title: Sound Development of Safety Supervisors

abstract: Safety supervisors are controllers enforcing safety properties by keeping a system in (or returning it to) a safe state. The development of such high-integrity components can benefit from a rigorous workflow integrating formal design and verification. In this paper, we present a workflow for the sound development of safety supervisors combining the best of two worlds, verified synthesis and complete testing. Synthesis allows one to focus on problem specification and model validation. Testing compensates for the crossing of abstraction, formalism, and tool boundaries and is a key element to obtain certification credit before entry into service. We establish soundness of our workflow through a rigorous argument. Our approach is tool-supported, aims at modern autonomous systems, and is illustrated with a collaborative robotics example.


title: Small counts in nested Karlin's occupancy scheme generated by discrete Weibull-like distributions

abstract: A nested Karlin's occupancy scheme is a symbiosis of classical Karlin's balls-in-boxes scheme and a weighted branching process. To define it, imagine a deterministic weighted branching process in which weights of the first generation individuals are given by the elements of a discrete probability distribution. For each positive integer $j$, identify the $j$th generation individuals with the $j$th generation boxes. The collection of balls is one and the same for all generations, and each ball starts at the root of the weighted branching process tree and moves along the tree according to the following rule: transition from a mother box to a daughter box occurs with probability given by the ratio of the daughter and mother weights. Assume that there are $n$ balls and that the discrete probability distribution responsible for the first generation is Weibull-like. Denote by $\mathcal{K}_n^{(j)}(l)$ and $\mathcal{K}_n^{*(j)}(l)$ the number of the $j$th generation boxes which contain at least $l$ balls and exactly $l$ balls, respectively. We prove functional limit theorems (FLTs) for the matrix-valued processes $\big(\mathcal{K}_{[{\rm e}^{T+\cdot}]}^{(j)}(l)\big)_{j,l\in\mathbb{N}}$ and $\big(\mathcal{ K}_{[{\rm e}^{T+\cdot}]}^{*(j)}(l)\big)_{j,l\in\mathbb{N}}$, properly normalized and centered, as $T\to \infty$. The present FLTs are an extension of a FLT proved by Iksanov, Kabluchko and Kotelnikova (2022) for the vector-valued process $\big(\mathcal{K}_{[{\rm e}^{T+\cdot}]}^{(j)}(1)\big)_{j\in\mathbb{N}}$. While the rows of each of the limit matrix-valued processes are independent and identically distributed, the entries within each row are stationary Gaussian processes with explicitly given covariances and cross-covariances. We provide an integral representation for each row. The results obtained are new even for Karlin's occupancy scheme.


title: Strategies in Education, Outreach, and Inclusion to Enhance the US Workforce in Accelerator Science and Engineering

abstract: We summarize the community-based consensus for improvements concerning education, public outreach, and inclusion in Accelerator Science and Engineering that will enhance the workforce in the USA. The improvements identified reflect the product of discussions held within the 2021-2022 Snowmass community planning process by topical group AF1: Beam Physics and Accelerator Education within the Accelerator Frontier. Although the Snowmass process centers on high-energy physics, this document outlines required improvements for the entire U.S. accelerator science and engineering enterprise because education of those entering and in the field, outreach to the public, and inclusion are inextricably linked.


title: Further Evidence of Modified Spin-down in Sun-like Stars: Pileups in the Temperature-Period Distribution

abstract: We combine stellar surface rotation periods determined from NASA's Kepler mission with spectroscopic temperatures to demonstrate the existence of pileups at the long-period and short-period edges of the temperature-period distribution for main-sequence stars with temperatures exceeding $\sim 5500$K. The long-period pileup is well-described by a curve of constant Rossby number, with a critical value of $\mathrm{Ro_{crit}} \lesssim 2$. The long-period pileup was predicted by van Saders et al. (2019) as a consequence of weakened magnetic braking, in which wind-driven angular momentum losses cease once stars reach a critical Rossby number. Stars in the long-period pileup are found to have a wide range of ages ($\sim 2-6$Gyr), meaning that, along the pileup, rotation period is strongly predictive of a star's surface temperature but weakly predictive of its age. The short-period pileup, which is also well-described by a curve of constant Rossby number, is not a prediction of the weakened magnetic braking hypothesis but may instead be related to a phase of slowed surface spin-down due to core-envelope coupling. The same mechanism was proposed by Curtis et al. (2020) to explain the overlapping rotation sequences of low-mass members of differently aged open clusters. The relative dearth of stars with intermediate rotation periods between the short- and long-period pileups is also well-described by a curve of constant Rossby number, which aligns with the period gap initially discovered by McQuillan et al. (2013a) in M-type stars. These observations provide further support for the hypothesis that the period gap is due to stellar astrophysics, rather than a non-uniform star-formation history in the Kepler field.


title: Hybrid Pixel-Unshuffled Network for Lightweight Image Super-Resolution

abstract: Convolutional neural network (CNN) has achieved great success on image super-resolution (SR). However, most deep CNN-based SR models take massive computations to obtain high performance. Downsampling features for multi-resolution fusion is an efficient and effective way to improve the performance of visual recognition. Still, it is counter-intuitive in the SR task, which needs to project a low-resolution input to high-resolution. In this paper, we propose a novel Hybrid Pixel-Unshuffled Network (HPUN) by introducing an efficient and effective downsampling module into the SR task. The network contains pixel-unshuffled downsampling and Self-Residual Depthwise Separable Convolutions. Specifically, we utilize pixel-unshuffle operation to downsample the input features and use grouped convolution to reduce the channels. Besides, we enhance the depthwise convolution's performance by adding the input feature to its output. Experiments on benchmark datasets show that our HPUN achieves and surpasses the state-of-the-art reconstruction performance with fewer parameters and computation costs.


title: Persistent revivals in a system of trapped bosonic atoms

abstract: Dynamical signatures of quantum chaos are observed in the survival probability of different initial states, in a system of cold atoms trapped in a linear chain with site noise and open boundary conditions. It is shown that chaos is present in the region of small disorder, at intermediate energies. The study is performed with different number of sites and atoms: 7,8 and 9, but focusing on the case where the particle density is one. States of the occupation basis with energies in the chaotic region are evolved at long times. Remarkable differences in the behaviour of the survival probability are found for states with different energy-eigenbasis participation ratio (PR). Whereas those with large PR clearly exhibit the characteristic random-matrix correlation hole before equilibration, those with small PR present a marginal or even no correlation hole which is replaced by revivals lasting up to the stage of equilibration, suggesting a connection with the quantum scarring phenomenon.


title: Towards True Detail Restoration for Super-Resolution: A Benchmark and a Quality Metric

abstract: Super-resolution (SR) has become a widely researched topic in recent years. SR methods can improve overall image and video quality and create new possibilities for further content analysis. But the SR mainstream focuses primarily on increasing the naturalness of the resulting image despite potentially losing context accuracy. Such methods may produce an incorrect digit, character, face, or other structural object even though they otherwise yield good visual quality. Incorrect detail restoration can cause errors when detecting and identifying objects both manually and automatically. To analyze the detail-restoration capabilities of image and video SR models, we developed a benchmark based on our own video dataset, which contains complex patterns that SR models generally fail to correctly restore. We assessed 32 recent SR models using our benchmark and compared their ability to preserve scene context. We also conducted a crowd-sourced comparison of restored details and developed an objective assessment metric that outperforms other quality metrics by correlation with subjective scores for this task. In conclusion, we provide a deep analysis of benchmark results that yields insights for future SR-based work.