title: Fermi-arcs mediated transport in surface Josephson junctions of Weyl semimetal

abstract: This study presents Fermi-arcs mediated transport in a Weyl semimetal thin slab, interfacing two $s$-wave superconductors. We present detailed study with both time-reversal and inversion symmetry broken Weyl semimetals under grounding, orbital magnetic fields, and Zeeman fields. An orbital magnetic field induces energy level oscillations, while a Zeeman field give rise to the periodic anomalous oscillations in the Josephson current. These anomalous oscillations correlate with the separation of Weyl nodes in momentum space, junction length, and system symmetries. Additionally, we present an explanation by scattering theory modeling the Fermi-arcs as a network model.


title: Declassification Policy for Program Complexity Analysis

abstract: In automated complexity analysis, noninterference-based type systems statically guarantee, via soundness, the property that well-typed programs compute functions of a given complexity class, e.g., the class FP of functions computable in polynomial time. These characterizations are also extensionally complete -- they capture all functions -- but are not intensionally complete as some polytime algorithms are rejected. This impact on expressive power is an unavoidable cost of achieving a tractable characterization. To overcome this issue, an avenue arising from security applications is to find a relaxation of noninterference based on a declassification mechanism that allows critical data to be released in a safe and controlled manner. Following this path, we present a new and intuitive declassification policy preserving FP-soundness and capturing strictly more programs than existing noninterference-based systems. We show the versatility of the approach: it also provides a new characterization of the class BFF of second-order polynomial time computable functions in a second-order imperative language, with first-order procedure calls. Type inference is tractable: it can be done in polynomial time.


title: All Connected Quivers Have An Unrestricted Red Size of $n-1$ Or $n$

abstract: The unrestricted red size of a quiver is the maximal number of red vertices in its framed quiver after any given mutation sequence. In a 2023 paper by E. Bucher and J. Machacek, it was shown that connected, mutation-finite quivers either have an unrestricted red size of $n-1$ or $n$, where $n$ is the number of vertices in the quiver. We prove here that the same holds for the connected, mutation-infinite case using forks. As such, the unrestricted red size for any quiver equals $n-c$, where $c$ is the number of connected components of the quiver that do not admit a reddening sequence.


title: On the Castelnuovo-Mumford regularity of curve arrangements

abstract: The Castelnuovo-Mumford regularity of the Jacobian algebra and of the graded module of derivations associated to a general curve arrangement in the complex projective plane are studied. The key result is an addition-deletion type result, similar to results obtained by H. Schenck, H. Terao, S. Tohaneanu and M. Yoshinaga, but in which no quasi homogeneity assumption is needed.


title: Using a Metasurface to Enhance the Radiation Efficiency of Subterahertz Antennas Printed on Thick Substrates

abstract: This study investigates the possibility of increasing the radiation efficiency of printed antennas and arrays by suppressing their inherent surface waves using a metasurface made of quad-split rings (QSR). A symmetrical resonant microstrip dipole and a four-element series-fed dipole array printed on an infinite grounded dielectric layer (layer thickness: 0.2 mm; relative permittivity: 9.4; tan delta: 0.0005) were simulated with FEKO 2022 software. Conducted at 100-116 GHz, the numerical results revealed extremely low radiation efficiencies of approximately 31% and 40% for the studied dipole and dipole array, respectively, which resulted from the presence of surface waves in the dielectric. However, placing only one QSR near each dipole arm triggered an increase in radiation efficiency by 2.5 times (up to 75%). The use of a metasurface in the form of two small QSR arrays triggered a pronounced improvement in radiation efficiency, reaching 93.6% and 96.5% for the studied dipole and dipole array, respectively. Analysis of the electric field distribution images showed that this enhancement resulted from surface wave suppression.


title: Set-Based Training for Neural Network Verification

abstract: Neural networks are vulnerable to adversarial attacks, i.e., small input perturbations can significantly affect the outputs of a neural network. In safety-critical environments, the inputs often contain noisy sensor data; hence, in this case, neural networks that are robust against input perturbations are required. To ensure safety, the robustness of a neural network must be formally verified. However, training and formally verifying robust neural networks is challenging. We address both of these challenges by employing, for the first time, an end-to-end set-based training procedure that trains robust neural networks for formal verification. Our training procedure trains neural networks, which can be easily verified using simple polynomial-time verification algorithms. Moreover, our extensive evaluation demonstrates that our set-based training procedure effectively trains robust neural networks, which are easier to verify. Set-based trained neural networks consistently match or outperform those trained with state-of-the-art robust training approaches.


title: Joint Data and Semantics Lossy Compression: Nonasymptotic and Second-Order Achievability Bounds

abstract: This paper studies a joint data and semantics lossy compression problem in the finite blocklength regime, where the data and semantic sources are correlated, and only the data source can be observed by the encoder. We first introduce an information-theoretic nonasymptotic analysis framework to investigate the nonasymptotic fundamental limits of our studied problem. Within this framework, general nonasymptotic achievability bounds valid for general sources and distortion measures are derived. Moreover, we provide a second-order achievability bound in the standard block coding setting by applying the two-dimensional Berry-Esseen theorem to our nonasymptotic bounds. Compared with first-order asymptotic bounds, our results have the potential to provide unique insights for the design of practical semantic communication systems.


title: On the Hardness of Gray Code Problems for Combinatorial Objects

abstract: Can a list of binary strings be ordered so that consecutive strings differ in a single bit? Can a list of permutations be ordered so that consecutive permutations differ by a swap? Can a list of non-crossing set partitions be ordered so that consecutive partitions differ by refinement? These are examples of Gray coding problems: Can a list of combinatorial objects (of a particular type and size) be ordered so that consecutive objects differ by a flip (of a particular type)? For example, 000, 001, 010, 100 is a no instance of the first question, while 1234, 1324, 1243 is a yes instance of the second question due to the order 1243, 1234, 1324. We prove that a variety of Gray coding problems are NP-complete using a new tool we call a Gray code reduction.


title: AiRLIHockey: Highly Reactive Contact Control and Stochastic Optimal Shooting

abstract: Air hockey is a highly reactive game which requires the player to quickly reason over stochastic puck and contact dynamics. We implement a hierarchical framework which combines stochastic optimal control for planning shooting angles and sampling-based model-predictive control for continuously generating constrained mallet trajectories. Our agent was deployed and evaluated in simulation and on a physical setup as part of the Robot Air-Hockey challenge competition at NeurIPS 2023.


title: An Improved Lower Bound on Oblivious Transfer Capacity via Interactive Erasure Emulation

abstract: We revisit the oblivious transfer (OT) capacities of noisy channels against the passive adversary, which have been identified only for a limited class of channels. In the literature, the general construction of oblivious transfer has been known only for generalized erasure channels (GECs); for other channels, we first convert a given channel to a GEC via alphabet extension and erasure emulation, and then apply the general construction for GEC. In this paper, we derive an improved lower bound on the OT capacity of the binary symmetric channel (BSC) and binary symmetric erasure channel (BSEC) by proposing a new protocol; by using interactive communication between the sender and the receiver, our protocol emulates erasure events recursively in multiple rounds. We also discuss a potential necessity of multiple rounds interactive communication to attain the OT capacity.


title: Masked Pre-trained Model Enables Universal Zero-shot Denoiser

abstract: In this work, we observe that the model, which is trained on vast general images using masking strategy, has been naturally embedded with the distribution knowledge regarding natural images, and thus spontaneously attains the underlying potential for strong image denoising. Based on this observation, we propose a novel zero-shot denoising paradigm, i.e., Masked Pre-train then Iterative fill (MPI). MPI pre-trains a model with masking and fine-tunes it for denoising of a single image with unseen noise degradation. Concretely, the proposed MPI comprises two key procedures: 1) Masked Pre-training involves training a model on multiple natural images with random masks to gather generalizable representations, allowing for practical applications in varying noise degradation and even in distinct image types. 2) Iterative filling is devised to efficiently fuse pre-trained knowledge for denoising. Similar to but distinct from pre-training, random masking is retained to bridge the gap, but only the predicted parts covered by masks are assembled for efficiency, which enables high-quality denoising within a limited number of iterations. Comprehensive experiments across various noisy scenarios underscore the notable advances of proposed MPI over previous approaches with a marked reduction in inference time. Code is available at https://github.com/krennic999/MPI.git.


title: Superradiant instability of a charged regular black hole

abstract: We show that a charged, massive scalar field in the vicinity of an electrically-charged Ay\'on-Beato-Garc\'ia (ABG) regular black hole has a spectrum of quasibound states that (in a certain parameter regime) grow exponentially with time, due to black hole superradiance. Superradiant quasibound states are made possible by the enhancement of the electrostatic potential at the horizon in nonlinear electrodynamics; in contrast, the Reissner-Nordstr\"om black hole does not possess such superradiant quasibound states. Here we compute the spectrum for a range of multipoles $\ell$ across the parameter space, and we find the fastest growth rate in the monopole mode. We find that a regular black hole with a small charge can still trigger a significant superradiant instability if the charge-to-mass ratio of the field is compensatingly large. We estimate the amount of black hole mass that can be deposited in the scalar field, finding an upper bound of circa $20\%$ in the extreme charge scenario. Finally, we consider the stationary bound states at the superradiant threshold, and we conjecture that, due to this instability, the ABG black hole will evolve towards a configuration with charged scalar hair.


title: Atmosphere: Context and situational-aware collaborative IoT architecture for edge-fog-cloud computing

abstract: The Internet of Things (IoT) has grown significantly in popularity, accompanied by increased capacity and lower cost of communications, and overwhelming development of technologies. At the same time, big data and real-time data analysis have taken on great importance and have been accompanied by unprecedented interest in sharing data among citizens, public administrations and other organisms, giving rise to what is known as the Collaborative Internet of Things. This growth in data and infrastructure must be accompanied by a software architecture that allows its exploitation. Although there are various proposals focused on the exploitation of the IoT at edge, fog and/or cloud levels, it is not easy to find a software solution that exploits the three tiers together, taking maximum advantage not only of the analysis of contextual and situational data at each tier, but also of two-way communications between adjacent ones. In this paper, we propose an architecture that solves these deficiencies by proposing novel technologies which are appropriate for managing the resources of each tier: edge, fog and cloud. In addition, the fact that two-way communications along the three tiers of the architecture is allowed considerably enriches the contextual and situational information in each layer, and substantially assists decision making in real time. The paper illustrates the proposed software architecture through a case study of respiratory disease surveillance in hospitals. As a result, the proposed architecture permits efficient communications between the different tiers responding to the needs of these types of IoT scenarios.


title: Time-resolved Spectral Properties of Fermi-GBM Bright Long Gamma-Ray Bursts

abstract: The prompt emission mechanism of gamma-ray bursts (GRBs) is still unclear, and the time-resolved spectral analysis of GRBs is a powerful tool for studying their underlying physical processes. We performed a detailed time-resolved spectral analysis of 78 bright long GRB samples detected by Fermi/Gamma-ray Burst Monitor (GBM). A total of 1490 spectra were obtained and their properties were studied using a typical Band-shape model. Firstly, the parameter distribution of the time-resolved spectrum given as follows: the low-energy spectral index $\alpha \sim -0.72$, high-energy spectral index $\beta \sim -2.42$, the peak energy $E_{\rm p} \sim 221.69 \,\rm{keV}$, and the energy flux $F \sim 7.49\times 10^{-6} \rm{\, erg\,cm^{-2}\,s^{-1}}$. More than 80\% of the bursts exhibit the hardest low-energy spectral index $\alpha_{\rm max}$ exceeding the synchrotron limit (-2/3). Secondly, the evolution patterns of $\alpha$ and $E_{\rm p}$ were statistically analyzed. The results show that for multi-pulse GRBs the intensity-tracking pattern is more common than the hard-to-soft pattern in the evolution of both $E_{\rm p}$ and $\alpha$. The hard-to-soft pattern is generally shown in single-pulse GRBs or in the initial pulse of multi-pulse GRBs. Finally, we found a significant positive correlation between $F$ and $E_{\rm p}$, with half of the samples exhibiting a positive correlation between $F$ and $\alpha$. We discussed the spectral evolution of different radiation models. The diversity of spectral evolution patterns indicates that there may be more than one radiation mechanism occurring in the gamma-ray burst radiation process, including photospheric radiation and synchrotron radiation. However, it may also involve only one radiation mechanism, but more complicated physical details need to be considered.


title: Microwave lymphedema assessment using deep learning with contour assisted backprojection

abstract: We present a method for early detection of lymphatic fluid accumulation in lymphedema patients based on microwave imaging of the limb volume across an air gap. The proposed algorithm uses contour information of the imaged limb surface to approximate the wave propagation velocity locally to solve the eikonal equation for implementing the adjoint imaging operator. This modified backprojection algorithm results in focused imagery close to the limb surface where lymphatic fluid accumulation presents itself. Next, a deep neural network based on U-Net architecture is employed to identify the location and extent of the lymphatic fluid. Simulation studies with various upper and lower arm profiles compare the focusing performance of the proposed contour assisted backprojection imaging with the baseline imaging approach that assumes homogeneous media. The empirical results of the simulation experiments show that the proposed imaging method significantly improves the ability of the deepnet model to identify the location and the volume of the excess fluid in the limb.


title: Noether invariance theory for the equilibrium force structure of soft matter

abstract: We give details and derivations for the Noether invariance theory that characterizes the spatial equilibrium structure of inhomogeneous classical many-body systems, as recently proposed and investigated for bulk systems [F. Samm\"uller $\textit{et al.}$, Phys. Rev. Lett. $\textbf{130}$, 268203 (2023)]. Thereby an intrinsic thermal symmetry against a local shifting transformation on phase space is exploited on the basis of the Noether theorem for invariant variations. We consider the consequences of the shifting that emerge at second order in the displacement field that parameterizes the transformation. In a natural way the standard two-body density distribution is generated. Its second spatial derivative (Hessian) is thereby balanced by two further and different two-body correlation functions, which respectively introduce thermally averaged force correlations and force gradients in a systematic and microscopically sharp way into the framework. Separate exact self and distinct sum rules hold expressing this balance. We exemplify the validity of the theory on the basis of computer simulations for the Lennard-Jones gas, liquid, and crystal, the Weeks-Chandler-Andersen fluid, monatomic Molinero-Moore water at ambient conditions, a three-body-interacting colloidal gel former, the Yukawa and soft-sphere dipolar fluids, and for isotropic and nematic phases of Gay-Berne particles. We describe explicitly the derivation of the sum rules based on Noether's theorem and also give more elementary proofs based on partial phase space integration following Yvon's theorem.


title: "It's Sink or Swim'': Exploring Patients' Challenges and Tool Needs for Self-Management of Postoperative Acute Pain

abstract: Poorly managed postoperative acute pain can have long-lasting negative impacts and pose a major healthcare issue. There is limited investigation to understand and address the unique needs of patients experiencing acute pain. In this paper, we tackle this gap through an interview study with 14 patients who recently underwent postoperative acute pain to understand their challenges in pain self-management and their need for supportive tools. Our analysis identified various factors associated with the major aspects of acute pain self-management. Together, our findings indicated that tools for supporting these patients need to carefully consider information and support delivery to adapt to rapid changes in pain experiences, offer personalized and dynamic assistance that adapts to individual situations in context, and monitor emotion when promoting motivation. Overall, our work provided valuable knowledge to address the less-investigated but highly-needed problem of designing technology for the self-management of acute pain and similar health conditions.


title: Discovering group dynamics in synchronous time series via hierarchical recurrent switching-state models

abstract: We seek to model a collection of time series arising from multiple entities interacting over the same time period. Recent work focused on modeling individual time series is inadequate for our intended applications, where collective system-level behavior influences the trajectories of individual entities. To address such problems, we present a new hierarchical switching-state model that can be trained in an unsupervised fashion to simultaneously explain both system-level and individual-level dynamics. We employ a latent system-level discrete state Markov chain that drives latent entity-level chains which in turn govern the dynamics of each observed time series. Feedback from the observations to the chains at both the entity and system levels improves flexibility via context-dependent state transitions. Our hierarchical switching recurrent dynamical models can be learned via closed-form variational coordinate ascent updates to all latent chains that scale linearly in the number of individual time series. This is asymptotically no more costly than fitting separate models for each entity. Experiments on synthetic and real datasets show that our model can produce better forecasts of future entity behavior than existing methods. Moreover, the availability of latent state chains at both the entity and system level enables interpretation of group dynamics.


title: Solvent-Free High-Temperature Capillary Stamping of Stimuli-Responsive Polymers: Wettability Management by Orthogonal Substrate Functionalization

abstract: The wettability of surfaces determines their antifouling, antifogging, anti-icing, and self-cleaning properties as well as their usability for sensing, oil-water separation, water collection, and water purification. Solvent-free high-temperature capillary stamping of stimuli-responsive polymers yielding arrays of stimuli-responsive polymer microdots on differently modified substrates enables the flexible generation of switchable surfaces with different water contact angles (WCAs). Potential problems associated with the deposition of polymer solutions, such as the handling of volatile organic solvents, phase separation induced by solvent evaporation, and capillarity-driven flow processes, are circumvented. We used composite stamps with topographically patterned contact surfaces consisting of metallic nickel cores and porous MnO2 coatings taking up the stimuli-responsive polymers. The short transport paths from the MnO2 contact layers to the counterpart substrates enabled the stamping of polymer melts containing components impeding flow, such as carbon nanotubes (CNTs). Thus-obtained arrays of polymer-CNT hybrid microdots prevent problems associated with continuous coatings including delamination and crack propagation. Moreover, the range within which the properties of the stamped stimuli-responsive polymer microdots are switchable can be tuned by orthogonal substrate modification. As an example, we stamped hybrid microdots consisting of poly(2-(methacryloyloxy)ethyl ferrocenecarboxylate) (PFcMA) and CNTs onto indium tin oxide (ITO) substrates. Coating the ITO substrates with a poly(ethylene oxide)-terminated silane shifted the WCAs obtained by switching the PFcMA between its oxidized and reduced states by nearly 50{\deg}.


title: Embedding-based search in JetBrains IDEs

abstract: Most modern Integrated Development Environments (IDEs) and code editors have a feature to search across available functionality and items in an open project. In JetBrains IDEs, this feature is called Search Everywhere: it allows users to search for files, actions, classes, symbols, settings, and anything from VCS history from a single entry point. However, it works with the candidates obtained by algorithms that don't account for semantics, e.g., synonyms, complex word permutations, part of the speech modifications, and typos. In this work, we describe the machine learning approach we implemented to improve the discoverability of search items. We also share the obstacles encountered during this process and how we overcame them.


title: Spin Noise Spectroscopy of a Single Spin using Single Detected Photons

abstract: Spin noise spectroscopy has become a widespread technique to extract information on spin dynamics in atomic and solid-state systems, in a potentially non-invasive way, through the optical probing of spin fluctuations. Here we experimentally demonstrate a new approach in spin noise spectroscopy, based on the detection of single photons. Due to the large spin-dependent polarization rotations provided by a deterministically-coupled quantum dot-micropillar device, giant spin noise signals induced by a single-hole spin are extracted in the form of photon-photon cross-correlations. Ultimately, such a technique can be extended to an ultrafast regime probing mechanisms down to few tens of picoseconds.


title: Spectral estimate for the Laplace-Beltrami operator on the hyperbolic half-plane

abstract: The purpose of this note is to investigate the concentration properties of spectral projectors on manifolds. This question has been intensively studied (Logvinenko-Sereda, Nazarov, Jerison-Lebeau, Kovrizhkin, Egidi-Seelmann-Veseli\'c, Burq-Moyano, etc) in connection with the uncertainty principle. We provide the first high-frequency results in a geometric setting which is neither Euclidean nor a perturbation of Euclidean. Namely, we prove the natural (and optimal) uncertainty principle for the spectral projector on the hyperbolic half-plane.


title: Robust Dual-Modal Speech Keyword Spotting for XR Headsets

abstract: While speech interaction finds widespread utility within the Extended Reality (XR) domain, conventional vocal speech keyword spotting systems continue to grapple with formidable challenges, including suboptimal performance in noisy environments, impracticality in situations requiring silence, and susceptibility to inadvertent activations when others speak nearby. These challenges, however, can potentially be surmounted through the cost-effective fusion of voice and lip movement information. Consequently, we propose a novel vocal-echoic dual-modal keyword spotting system designed for XR headsets. We devise two different modal fusion approches and conduct experiments to test the system's performance across diverse scenarios. The results show that our dual-modal system not only consistently outperforms its single-modal counterparts, demonstrating higher precision in both typical and noisy environments, but also excels in accurately identifying silent utterances. Furthermore, we have successfully applied the system in real-time demonstrations, achieving promising results. The code is available at https://github.com/caizhuojiang/VE-KWS.


title: Creating a vulnerable node based on the vulnerability MS17-010

abstract: The creation of a vulnerable node has been demonstrated through the analysis and implementation of the MS17-010 (CVE-2017-0144) vulnerability, affecting the SMBv1 protocol on various Windows operating systems. The principle and methodology of exploiting the vulnerability are described, with a formalized representation of the exploitation in the form of a Meta Attack Language (MAL) graph. Additionally, the attacker's implementation is outlined as the execution of an automated script in Python using the Metasploit Framework. Basic security measures for systems utilizing the SMBv1 protocol are provided.


title: Small-amplitude synchronisation in driven Potts models

abstract: We study driven $q$-state Potts models with thermodynamically consistent dynamics and global coupling. For a wide range of parameters, these models exhibit a dynamical phase transition from decoherent oscillations into a synchronised phase. Starting from a general microscopic dynamics for individual oscillators, we derive the normal form of the high-dimensional Hopf-Bifurcation that underlies the phase transition. The normal-form equations are exact in the thermodynamic limit and close to the bifurcation. Making use of the symmetry of the model, we solve these equations analytically and thus uncover the intricate stable synchronisation patterns of driven Potts models, characterised by a rich phase diagram. Making use of thermodynamic consistency, we show that synchronisation reduces dissipation in such a way that the most stable synchronised states dissipate the least entropy. Close to the phase transition, our findings condense into a linear dissipation-stability relation that connects entropy production with phase-space contraction, a stability measure. At finite system size, our findings suggest a minimum-dissipation principle for driven Potts models that holds arbitrarily far from equilibrium.


title: Linking Mg II and [O II] spatial distribution to ionizing photon escape in confirmed LyC leakers and non-leakers

abstract: The geometry of the neutral gas in and around galaxies is a key regulator of the escape of ionizing photons. We present the first statistical study aiming at linking the neutral and ionized gas distributions to the Lyman continuum (LyC) escape fraction (fesc(LyC)) in a sample of 22 confirmed LyC leakers and non-leakers at z~0.35 using the Keck Cosmic Web Imager (Keck/KCWI) and the Low Resolution Spectrograph 2 (HET/LRS2). Our integral field unit data enable the detection of neutral and low-ionization gas, as traced by Mg II, and ionized gas, as traced by [O II], extending beyond the stellar continuum for 7 and 10 objects, respectively. All but one object with extended Mg II emission also shows extended [O II] emission; in this case, Mg II emission is always more extended than [O II] by a factor 1.3 on average. Most of the galaxies with extended emission are non or weak LyC leakers (fesc(LyC) < 5%), but we find a large diversity of neutral gas configurations around these weakly LyC-emitting galaxies. Conversely, the strongest leakers (fesc(LyC) > 10%) appear uniformly compact in both Mg II and [O II] with exponential scale lengths <1 kpc. We also find a trend between fesc(LyC) and the spatial offsets of the nebular gas and the stellar continuum emission. Moreover, we find significant anti-correlations between the spatial extent of the neutral gas and the [O III]/[O II] ratio, and H$\beta$ equivalent width, as well as positive correlations with metallicity and UV size, suggesting that galaxies with more compact neutral gas sizes are more highly ionized. The observations suggest that strong LyC emitters do not have extended neutral gas halos and ionizing photons may be emitted in many directions. Combined with high ionization diagnostics, we propose the Mg II, and potentially [O II], spatial compactness are indirect indicators of LyC emitting galaxies at high-redshift.


title: Minimum-dissipation principle for synchronised stochastic oscillators far from equilibrium

abstract: We prove a linear stability-dissipation relation (SDR) for $q$-state Potts models driven far from equilibrium by a nonconservative force. At a critical coupling strength, these models exhibit a synchronisation transition from a decoherent into a synchronised state. In the vicinity of this transition, the SDR connects the entropy production rate per oscillator to the phase-space contraction rate, a measure of stability, in a simple way. For large but finite systems, the SDR implies a minimum-dissipation principle for driven Potts models as the dynamics selects stable non-equilibrium states with least dissipation. This principle holds arbitrarily far from equilibrium, for any stochastic dynamics, and for all $q$.


title: Quota management in dCache or making a perfectly normal file system normal

abstract: dCache (https://dcache.org) is a highly scalable storage system providing location-independent access to data. The data are stored across multiple data servers as complete files presented to the end-user via a single-rooted namespace. From its inception, dCache has been designed as a caching disk buffer to a tertiary tape storage system with the assumption that the latter has virtually unlimited capacity. dCache can also be configured as a disk-only storage system with no tape backend. Owing to the idea that a tape resource is infinite, or purely physically limited by budget considerations, the system has never provided for any restrictions on how much data can be stored on tape. Likewise, in the disk-only configuration, the capacity of the system is only limited by the aggregate disk capacity of the data servers. In a multi-user environment, however, this has become problematic. This presentation will describe the design and implementation of a user- and group-based quota system, that allows to manage tape and disk space allocations, as part of dCache namespace.


title: Projection of Elliptic Orbits and Branching Laws

abstract: Let $G$ be a Lie group, and $H\subset G$ a closed subgroup. Let $\pi$ be an irreducible unitary representation of $G$. In this paper, we briefly discuss the orbit method and its application to the branching problem $\pi|_{H}$. We use the Gan-Gross-Prasad branching law for $(G, H)= ( U(p,q), U(p, q-1) )$ as an example to illustrate the relation between $\pro_{\f u(p, q-1)}^{\f u(p,q)} \mc O(\lambda)$ and the branching law of the discrete series $D_{\lambda}|_{U(p,q-1)}$ for $\lambda$ an regular elliptic element. We also discuss some results regarding branching laws and wave front sets. The presentation of this paper does not follow the historical timeline of development.


title: On compact subsets of the plane

abstract: We construct a family F of compact and pathwise connected subsets of the Euclidean plane such that (i) the cardinality of F is that of the continuum (and hence extremely large) and (ii) if X,Y are distinct spaces in F then there never exists a topological embedding from X into Y.


title: Integrability and chaos in the quantum brachistochrone problem

abstract: The quantum brachistochrone problem addresses the fundamental challenge of achieving the quantum speed limit in applications aiming to realize a given unitary operation in a quantum system. Specifically, it looks into optimization of the transformation of quantum states through controlled Hamiltonians, which form a small subset in the space of the system's observables. Here we introduce a broad family of completely integrable brachistochrone protocols, which arise from a judicious choice of the control Hamiltonian subset. Furthermore, we demonstrate how the inherent stability of the completely integrable protocols makes them numerically tractable and therefore practicable as opposed to their non-integrable counterparts.


title: Null-controllability for the beam equation with structural damping. Part 1. Distributed control

abstract: Let $\Delta$ be the Dirichlet Laplacian on the interval $(0,\pi)$. The null controllability properties of the equation $$u_{tt}+\Delta^2 u+\rho (\Delta)^\alpha u_t=F(x,t)$$ are studied. Let $T>0$, and assume initial conditions $(u^0,u^1)\in Dom(\Delta)\times L^2(0,\pi)$. We first prove finite dimensional null control results: suppose $F(x,t)=f^1(t)h^1(x)+f^2(t)h^2(x)$ with $h^1,h^2$ given functions. For $\alpha \in [0,3/2)$, we prove that there exist $h^1,h^2\in L^2(0,\pi)$ such that for any $(u^0,u^1)$, there exist $L^2$ null controls $(f^1,f^2).$ For $\alpha< 1$ and $\rho <2$, we prove null controllability with $f^2=0$ and $h^1$ belonging to a large class of functions. For $\alpha\in [3/2,2)$, we prove spectral and null controllability both generally fail, but two dimensional weak controllability holds. Our second set of results pertains to $F(x,t)=\chi_\Omega(x)f(x,t)$, with $\Omega$ any open subset of $(0,\pi)$. For any $\alpha \in [0,3/2),$ we prove there exists a null control $f\in L^2(\Omega\times(0,T))$ To prove our main results, we use the Fourier method to rewrite the control problems as moment problems. These are then solved by constructing biorthogonal sets to the associated exponential families. These constructions seem to be non-standard and may be of independent interest.


title: Modulating function based algebraic observer coupled with stable output predictor for LTV and sampled-data systems

abstract: This paper proposes an algebraic observer-based modulating function approach for linear time-variant systems and a class of nonlinear systems with discrete measurements. The underlying idea lies in constructing an observability transformation that infers some properties of the modulating function approach for designing such algebraic observers. First, we investigate the algebraic observer design for linear time-variant systems under an observable canonical form for continuous-time measurements. Then, we provide the convergence of the observation error in an L2-gain stability sense. Next, we develop an exponentially stable sampled-data observer which relies on the design of the algebraic observer and an output predictor to achieve state estimation from available measurements and under small inter-sampling periods. Using a trajectory-based approach, we prove the convergence of the observation error within a convergence rate that can be adjusted through the fixed time-horizon length of the modulating function and the upper bound of the sampling period. Furthermore, robustness of the sampled-data algebraic observer, which yields input-to-state stability, is inherited by the modulating kernel and the closed-loop output predictor design. Finally, we discuss the implementation procedure of the MF-based observer realization, demonstrate the applicability of the algebraic observer, and illustrate its performance through two examples given by linear time-invariant and linear time-variant systems with nonlinear input-output injection terms.


title: Mapping-to-Parameter Nonlinear Functional Regression with Novel B-spline Free Knot Placement Algorithm

abstract: We propose a novel approach to nonlinear functional regression, called the Mapping-to-Parameter function model, which addresses complex and nonlinear functional regression problems in parameter space by employing any supervised learning technique. Central to this model is the mapping of function data from an infinite-dimensional function space to a finite-dimensional parameter space. This is accomplished by concurrently approximating multiple functions with a common set of B-spline basis functions by any chosen order, with their knot distribution determined by the Iterative Local Placement Algorithm, a newly proposed free knot placement algorithm. In contrast to the conventional equidistant knot placement strategy that uniformly distributes knot locations based on a predefined number of knots, our proposed algorithms determine knot location according to the local complexity of the input or output functions. The performance of our knot placement algorithms is shown to be robust in both single-function approximation and multiple-function approximation contexts. Furthermore, the effectiveness and advantage of the proposed prediction model in handling both function-on-scalar regression and function-on-function regression problems are demonstrated through several real data applications, in comparison with four groups of state-of-the-art methods.


title: Interparticle normal force in highly porous granular matter during compression

abstract: We perform a numerical simulation of compression of a highly porous dust aggregate of monodisperse spheres. We find that the average interparticle normal force within the aggregate is inversely proportional to both the filling factor and the average coordination number, and we also derive this relation theoretically. Our findings would be applicable for granular matter of arbitrary structures, as long as the constituent particles are monodisperse spheres.


title: Stokes graphs of the Rabi problem with real parameters

abstract: The goal of this paper is to study the geometry of the Stokes graphs associated with the problem, which was introduced by Isidor Rabi in 1937 to model reactions of atoms to the harmonic electric field with frequency close to the natural frequency of the atoms. In the standard Garnier form, the Rabi model is a matrix linear differential equation with three physical parameters, which are: the level of separation of the fermion mode $\Delta$, the boson-fermion coupling $g$, and the eigenvalue $E$ of the Hamiltonian relevant to this model. The qualitative behavior of solutions of this type of problems is often described in terms of the Stokes graphs of associated quadratic differential, which in the case of Rabi problem can be represented in the form $Q_0(z)\, dz^2 = -\frac{z^4+c_3z^3+c_2z^2+c_1z+c_0}{(z-1)^2(z+1)^2}\, dz^2$ with the coefficients $c_k$, $k=0,1,2,3$, depending on the parameters $\Delta$, $g$, and $E$. In this paper, we first give a complete classification of possible generic topological types of domain configurations and Stokes graphs of this quadratic differential assuming that its coefficients $c_k$ are real and the zeros of its numerator are distinct from its poles. Then we identify the set of coefficients $(c_3,c_2,c_1,c_0)\in \mathbb{R}^4$, which correspond to particular choices of the physical parameters $\Delta$, $g$, and $E$. The structure of Stokes graphs and domain configurations of quadratic differentials, which appear as asymptotic cases when the parameters of the Rabi problem tend to infinity, also will be discussed.


title: Graph-based Active Learning for Entity Cluster Repair

abstract: Cluster repair methods aim to determine errors in clusters and modify them so that each cluster consists of records representing the same entity. Current cluster repair methodologies primarily assume duplicate-free data sources, where each record from one source corresponds to a unique record from another. However, real-world data often deviates from this assumption due to quality issues. Recent approaches apply clustering methods in combination with link categorization methods so they can be applied to data sources with duplicates. Nevertheless, the results do not show a clear picture since the quality highly varies depending on the configuration and dataset. In this study, we introduce a novel approach for cluster repair that utilizes graph metrics derived from the underlying similarity graphs. These metrics are pivotal in constructing a classification model to distinguish between correct and incorrect edges. To address the challenge of limited training data, we integrate an active learning mechanism tailored to cluster-specific attributes. The evaluation shows that the method outperforms existing cluster repair methods without distinguishing between duplicate-free or dirty data sources. Notably, our modified active learning strategy exhibits enhanced performance when dealing with datasets containing duplicates, showcasing its effectiveness in such scenarios.


title: Liouvillian Exceptional Points of Non-Hermitian Systems via Quantum Process Tomography

abstract: Hamiltonian exceptional points (HEPs) are spectral degeneracies of non-Hermitian Hamiltonians describing classical and semiclassical open systems with gain and/or loss. However, this definition overlooks the occurrence of quantum jumps in the evolution of open quantum systems. These quantum effects are properly accounted for by considering Liouvillians and their exceptional points (LEPs) [Minganti et al., Phys. Rev. A {\bf 100}, 062131 (2019)]. Here, we explicitly describe how standard quantum process tomography, which reveals the dynamics of a quantum system, can be readily applied to reveal and characterize LEPs of non-Hermitian systems. We conducted experiments on an IBM quantum processor to implement a prototype model simulating the decay of a single qubit through three competing channels. Subsequently, we performed tomographic reconstruction of the corresponding experimental Liouvillians and their LEPs using both single- and two-qubit operations. This example underscores the efficacy of process tomography in tuning and observing LEPs, despite the absence of HEPs in the model.


title: Complete Solution of the Lady in the Lake Scenario

abstract: In the Lady in the Lake scenario, a mobile agent, L, is pitted against an agent, M, who is constrained to move along the perimeter of a circle. L is assumed to begin inside the circle and wishes to escape to the perimeter with some finite angular separation from M at the perimeter. This scenario has, in the past, been formulated as a zero-sum differential game wherein L seeks to maximize terminal separation and M seeks to minimize it. Its solution is well-known. However, there is a large portion of the state space for which the canonical solution does not yield a unique equilibrium strategy. This paper provides such a unique strategy by solving an auxiliary zero-sum differential game. In the auxiliary differential game, L seeks to reach a point opposite of M at a radius for which their maximum angular speeds are equal (i.e., the antipodal point). L wishes to minimize the time to reach this point while M wishes to maximize it. The solution of the auxiliary differential game is comprised of a Focal Line, a Universal Line, and their tributaries. The Focal Line tributaries' equilibrium strategy for L is semi-analytic, while the Universal Line tributaries' equilibrium strategy is obtained in closed form.


title: A ThermalKinetic Inductance Detectors Pixel Design for Cosmic Microwave Background Observations at 90/150 GHz bands

abstract: The highly sensitive millimeter-wave telescope is an important tool for accurate measurement of Cosmic Microwave Background (CMB) radiation, and its core component is a detector array located in a cryogenic focal plane. The feasibility of utilizing thermal kinetic inductance detectors (TKIDs) for CMB observations has been demonstrated. We propose a pixel design of TKIDs for observing CMB through atmospheric windows for observations in the 90/150 GHz bands. Assuming lossless dielectric, the coupling efficiency of a single pixel is around 90%. This pixel design will be utilized for future large-scale TKIDs array designs for CMB observations.


title: A Resolution-Based Interactive Proof System for UNSAT

abstract: Modern SAT or QBF solvers are expected to produce correctness certificates. However, certificates have worst-case exponential size (unless $\textsf{NP}=\textsf{coNP}$), and at recent SAT competitions the largest certificates of unsatisfiability are starting to reach terabyte size. Recently, Couillard, Czerner, Esparza, and Majumdar have suggested to replace certificates with interactive proof systems based on the $\textsf{IP}=\textsf{PSPACE}$ theorem. They have presented an interactive protocol between a prover and a verifier for an extension of QBF. The overall running time of the protocol is linear in the time needed by a standard BDD-based algorithm, and the time invested by the verifier is polynomial in the size of the formula. (So, in particular, the verifier never has to read or process exponentially long certificates). We call such an interactive protocol competitive with the BDD algorithm for solving QBF. While BDD-algorithms are state-of-the-art for certain classes of QBF instances, no modern (UN)SAT solver is based on BDDs. For this reason, we initiate the study of interactive certification for more practical SAT algorithms. In particular, we address the question whether interactive protocols can be competitive with some variant of resolution. We present two contributions. First, we prove a theorem that reduces the problem of finding competitive interactive protocols to finding an arithmetisation of formulas satisfying certain commutativity properties. (Arithmetisation is the fundamental technique underlying the $\textsf{IP}=\textsf{PSPACE}$ theorem.) Then, we apply the theorem to give the first interactive protocol for the Davis-Putnam resolution procedure.


title: Geometric measure of entanglement of quantum graph states prepared with controlled phase shift operators

abstract: We consider graph states generated by the action of controlled phase shift operators on a separable state of a multi-qubit system. The case when all the qubits are initially prepared in arbitrary states is investigated. We obtain the geometric measure of entanglement of a qubit with the remaining system in graph states represented by arbitrary weighted graphs and establish its relationship with state parameters. For two-qubit graph states, the geometric measure of entanglement is also quantified on IBM's simulator Qiskit Aer and quantum processor ibmq lima based on auxiliary mean spin measurements. The results of quantum computations verify our analytical predictions.


title: Hysteresis and ribbons in Taylor-Couette flow of a semidilute non-colloidal suspension

abstract: In this study, we numerically investigate hysteretic behaviors of secondary bifurcations in the Taylor-Couette flow of a semidilute, neutrally buoyant, and noncolloidal suspension. We consider a suspension with a bulk particle volume fraction of 0.1, a radius ratio of 0.877, and a particle size of 60. The suspension balance model (SBM) is introduced for numerical simulations to model the dynamics of particles undergoing shear-induced particle migration with rheological constitutive laws. The suspension flow transitions from circular Couette flow (CCF) via ribbons (RIB), spiral vortex flow (SVF), and wavy spiral vortex flow (WSVF) to wavy vortex flow (WVF) with the increase of suspension Reynolds number. The primary transition arises very slowly with an oscillatory critical mode and appears through a supercritical (or non-hysteretic) bifurcation. However, we find hysteretic behaviors in subsequent bifurcations (spiral vortex flow (SVF) to wavy spiral vortex flow (WSVF) and WSVF to wavy vortex flow (WVF)) during increasing-Re and decreasing-Re procedures with a rapid-step change near the transition boundaries. The WSVF and WVF states are more sustained below the transition boundaries when the Reynolds number is rapidly decreased in stages. However, the SVF and WSVF become WSVF and WVF more sharply with increasing Re, respectively. To conclude this study, we also examine in detail, a standing wave of weak counter-rotating vortices that occurs as the primary instability and analyze the wave that oscillates in time but is stationary in space in the RIB state.


title: The causal role of the Reddit collective action on the GameStop short squeeze

abstract: In early 2021, the stock prices of GameStop, AMC, Nokia, and BlackBerry experienced dramatic increases, triggered by short squeeze operations that have been largely attributed to Reddit's retail investors. These events showcased, for the first time, the potential of online social networks to catalyze financial collective action. How, when and to what extent Reddit users played a causal role in driving up these prices, however, remains unclear. To address these questions, we employ causal inference techniques, leveraging data capturing activity on Reddit and Twitter, and trading volume with a high temporal resolution. We find that Reddit discussions foreshadowed trading volume before the GameStop short squeeze, with their predictive power being particularly strong on hourly time scales. This effect emerged abruptly and became prominent a few weeks before the event, but waned once the community of investors gained widespread visibility through Twitter. As the causal link unfolded, the collective investment of the Reddit community, quantified through each user's financial position on GameStop, closely mirrored the market capitalization of the stock. The evidence from our study suggests that Reddit users fueled the GameStop short squeeze, and thereby Reddit served as a coordination hub for a shared financial strategy. Towards the end of January, users talking about GameStop contributed to raise the popularity of BlackBerry, AMC and Nokia, which emerged as the most popular stocks as the community gained global recognition. Overall, our results shed light on the dynamics behind the first large-scale financial collective action driven by social media users.


title: Density-matrix renormalization group algorithm for non-Hermitian systems

abstract: A biorthonormal-block density-matrix renormalization group algorithm is proposed to compute properties of non-Hermitian many-body systems, in which a structured low-rank approximation to a non-Hermitian reduced density matrix is implemented to fulfill the prerequisite for the biorthonormality of the renormalization transformation and to optimally construct a saved space as well. A redundancy assigned to the saved space of the reduced density matrix is exploited to reduce a condition number resulting from the left and right transformation matrices, thus ensuring the numerical stability of the renormalization procedure. The algorithm is successfully applied to an interacting fermionic Su-Schrieffer-Heeger model with both nonreciprocal hoppings and staggered complex chemical potential, exhibiting novel many-body phenomena in the ground-state phase diagram.


title: Accelerated relaxation enhancing flows cause total dissipation

abstract: We show that by "accelerating" relaxation enhancing flows, one can construct a flow that is smooth on $[0,1) \times \mathbb{T}^d$ but highly singular at $t=1$ so that for any positive diffusivity, the advection-diffusion equation associated to the accelerated flow totally dissipates solutions, taking arbitrary initial data to the constant function at $t=1$.


title: BackdoorBench: A Comprehensive Benchmark and Analysis of Backdoor Learning

abstract: As an emerging and vital topic for studying deep neural networks' vulnerability (DNNs), backdoor learning has attracted increasing interest in recent years, and many seminal backdoor attack and defense algorithms are being developed successively or concurrently, in the status of a rapid arms race. However, mainly due to the diverse settings, and the difficulties of implementation and reproducibility of existing works, there is a lack of a unified and standardized benchmark of backdoor learning, causing unfair comparisons, and unreliable conclusions (e.g., misleading, biased or even false conclusions). Consequently, it is difficult to evaluate the current progress and design the future development roadmap of this literature. To alleviate this dilemma, we build a comprehensive benchmark of backdoor learning called BackdoorBench. Our benchmark makes three valuable contributions to the research community. 1) We provide an integrated implementation of state-of-the-art (SOTA) backdoor learning algorithms (currently including 16 attack and 27 defense algorithms), based on an extensible modular-based codebase. 2) We conduct comprehensive evaluations of 12 attacks against 16 defenses, with 5 poisoning ratios, based on 4 models and 4 datasets, thus 11,492 pairs of evaluations in total. 3) Based on above evaluations, we present abundant analysis from 8 perspectives via 18 useful analysis tools, and provide several inspiring insights about backdoor learning. We hope that our efforts could build a solid foundation of backdoor learning to facilitate researchers to investigate existing algorithms, develop more innovative algorithms, and explore the intrinsic mechanism of backdoor learning. Finally, we have created a user-friendly website at http://backdoorbench.com, which collects all important information of BackdoorBench, including codebase, docs, leaderboard, and model Zoo.


title: Superradiant clouds may be relevant for close compact object binaries

abstract: Bosonic fields (within suitable mass range) may be collectively generated by rotating black holes through the black hole superradiance process. The resulting black hole is surrounded by a ``cloud" of particles whose wave function populates the superradiant energy level of the black hole. For comparable mass ratio binary black hole systems, it has been suggested that these clouds often deplete at large binary separations because of level mixing effects. As a result, these clouds may not be dynamically relevant for black hole and neutron star binaries that enter the LIGO-Virgo-KAGRA and LISA detection frequency band. In this work, we point out that the common envelope process during a compact binary evolution may bring the binary to $\sim 0.01$AU in hundreds to thousands of years, so that depletion caused by certain level mixings are no longer important. We derive a relevant regime of binary parameters where the clouds are still present for binary entering the LISA band, and show that common envelop process does enlarge such parameter regime. When the binary separation further decreases due to gravitational wave radiation, we discuss the impact of possible cloud mass transfer between the binary objects.


title: Comparison between two approaches to classify topological insulators using K-theory

abstract: We compare two approaches which use K-theory for C*-algebras to classify symmetry protected topological phases of quantum systems described in the one particle approximation. In the approach by Kellendonk, which is more abstract and more general, the algebra remains unspecified and the symmetries are defined using gradings and real structures. In the approach by Alldridge et al., the algebra is physically motivated and the symmetries implemented by generators which commute with the Hamiltonian. Both approaches use van Daele's version of K-theory. We show that the second approach is a special case of the first one. We highlight the role played by two of the symmetries: charge conservation and spin rotation symmetry.


title: Intrinsic and extrinsic photogalvanic effects in twisted bilayer graphene

abstract: The chiral lattice structure of twisted bilayer graphene with D6 symmetry allows for intrinsic photogalvanic effects only at off-normal incidence, while additional extrinsic effects are known to be induced by a substrate or a gate potential. In this work, we first compute the intrinsic effects and show they reverse sign at the magic angle, revealing a band inversion at the {\Gamma} point. We next consider different extrinsic effects, showing how they can be used to track the strengths of the substrate coupling or displacement field. We also show that the approximate particle-hole symmetry implies stringent constraints on the chemical potential dependence of all photocurrents. A detailed comparison of intrinsic vs. extrinsic photocurrents therefore reveals a wealth of information about the band structure and can also serve as a benchmark to constrain the symmetry breaking patterns of correlated states.


title: Airavata: Introducing Hindi Instruction-tuned LLM

abstract: We announce the initial release of "Airavata," an instruction-tuned LLM for Hindi. Airavata was created by fine-tuning OpenHathi with diverse, instruction-tuning Hindi datasets to make it better suited for assistive tasks. Along with the model, we also share the IndicInstruct dataset, which is a collection of diverse instruction-tuning datasets to enable further research for Indic LLMs. Additionally, we present evaluation benchmarks and a framework for assessing LLM performance across tasks in Hindi. Currently, Airavata supports Hindi, but we plan to expand this to all 22 scheduled Indic languages. You can access all artifacts at https://ai4bharat.github.io/airavata.


title: Noise-Tolerant Optimization Methods for the Solution of a Robust Design Problem

abstract: The development of nonlinear optimization algorithms capable of performing reliably in the presence of noise has garnered considerable attention lately. This paper advocates for strategies to create noise-tolerant nonlinear optimization algorithms by adapting classical deterministic methods. These adaptations follow certain design guidelines described here, which make use of estimates of the noise level in the problem. The application of our methodology is illustrated by the development of a line search gradient projection method, which is tested on an engineering design problem. It is shown that a new self-calibrated line search and noise-aware finite-difference techniques are effective even in the high noise regime. Numerical experiments investigate the resiliency of key algorithmic components. A convergence analysis of the line search gradient projection method establishes convergence to a neighborhood of the solution.


title: Reinforcement Learning-based Relay Selection for Cooperative WSNs in the Presence of Bursty Impulsive Noise

abstract: The problem of relay selection is pivotal in the realm of cooperative communication. However, this issue has not been thoroughly examined, particularly when the background noise is assumed to possess an impulsive characteristic with consistent memory as observed in smart grid communications and some other wireless communication scenarios. In this paper, we investigate the impact of this specific type of noise on the performance of cooperative Wireless Sensor Networks (WSNs) with the Decode and Forward (DF) relaying scheme, considering Symbol-Error-Rate (SER) and battery power consumption fairness across all nodes as the performance metrics. We introduce two innovative relay selection methods that depend on noise state detection and the residual battery power of each relay. The first method encompasses the adaptation of the Max-Min criterion to this specific context, whereas the second employs Reinforcement Learning (RL) to surmount this challenge. Our empirical outcomes demonstrate that the impacts of bursty impulsive noise on the SER performance can be effectively mitigated and that a balance in battery power consumption among all nodes can be established using the proposed methods.


title: Double pulse all-optical coherent control of ultrafast spin-reorientation in antiferromagnetic rare-earth orthoferrite

abstract: A pair of circularly polarized laser pulses of opposite helicities are shown to control the route of spin reorientation phase transition in rare-earth antiferromagnetic orthoferrite (Sm$_{0.55}$Tb$_{0.45}$)FeO$_3$. The route can be efficiently controlled by the delay between the pulses and the sample temperature. Simulations employing previously published models of \mbox{laser-induced} spin dynamics in orthoferrites failed to reproduce the experimental results. We suggest that the failure is due to neglected temperature dependence of the antiferromagnetic resonance damping in the material. Taking into account the experimentally deduced temperature dependence of the damping, we obtained good agreement between the simulations and the experiment.


title: Parameterized Ekman boundary layers on the tilted $f$-plane

abstract: Rotating convection is considered on the tilted $f$-plane where gravity and rotation are not aligned. For sufficiently large rotation rates, $\Omega$, the Taylor-Proudman effect results in the gyroscopic alignment of anisotropic columnar structures with the rotation axis giving rise to rapidly varying radial length scales that vanishes as $\Omega^{-1/3}$ for $\Omega\rightarrow\infty$. Compounding this phenomenon is the existence of viscous (Ekman) layers adjacent to the impenetrable bounding surfaces that diminish in scale as $\Omega^{-1/2}$. In this investigation, these constraints are relaxed upon utilizing a non-orthogonal coordinate representation of the fluid equations where the upright coordinate aligns with rotation axis. This exposes the problem to asymptotic perturbation methods that permit: (i) relaxation of the constraints of gyroscopic alignment; (ii) the filtering of Ekman layers through the uncovering of parameterized velocity pumping boundary conditions; and (iii) the development of reduced quasi-geostrophic systems valid in the limit $\Omega\rightarrow\infty$. Linear stability investigations reveal excellent quantitative agreement between results from parameterized or unapproximated mechanical boundary conditions. For no-slip boundaries, it is demonstrated that the associated Ekman pumping dramatically alters convective onset through an enhanced destabilization of large spatial scales. The range of unstable modes at a fixed thermal forcing is thus significantly extended with a direct dependence on $\Omega$. This holds true even for geophysical and astrophysical regimes characterized by extreme values of the non-dimensional Ekman number $E$. The nonlinear regime is explored via the global heat and momentum transport of single-mode solutions to the quasi-geostrophic systems which indicate $\mathcal{O}(1)$ changes irrespective of the smallness of $E$.


title: Impact of Solenoid Induced Residual Magnetic Fields on The Prototype SSR1 CM Performance

abstract: A prototype cryomodule containing eight Single Spoke Resonators type-1 (SSR1) operating at 325 MHz and four superconducting focusing lenses was successfully assembled, cold tested, and accelerated beam in the framework of the PIP-II project at Fermilab. The impact of induced residual magnetic fields from the solenoids on performance of cavities is presented in this contribution. In addition, design optimizations for the production cryomodules as a result of this impact are highlighted.


title: Simulating interfacial flows: a farewell to planes

abstract: Over the past decades, the volume-of-fluid (VOF) method has been the method of choice for simulating atomization processes, owing to its unique ability to discretely conserve mass. Current state-of-the-art VOF methods, however, rely on the piecewise-linear interface calculation (PLIC) to represent the interface used when calculating advection fluxes. This renders the estimated curvature of the transported interface zeroth-order accurate at best, adversely impacting the simulation of surface-tension-driven flows. In the past few years, there have been several attempts at using piecewise-parabolic interface approximations instead of piecewise-linear ones for computing advection fluxes, albeit all limited to two-dimensional cases or not inherently mass conservative. In this contribution, we present our most recent work on three-dimensional piecewise-parabolic interface reconstruction and apply it in the context of the VOF method. As a result of increasing the order of the interface representation, the reconstruction of the interface and the estimation of its curvature now become a single step instead of two separate ones. The performance of this new approach is assessed both in terms of accuracy and stability and compared to the classical PLIC-VOF approach on a range of canonical test-cases and cases of surface-tension-driven instabilities.


title: Reactive additive capillary stamping with double network hydrogel-derived aerogel stamps under solvothermal conditions

abstract: Integration of solvothermal reaction products into complex thin-layer architectures is frequently achieved by combinations of layer transfer and subtractive lithography, whereas direct additive substrate patterning with solvothermal reaction products has remained challenging. We report reactive additive capillary stamping under solvothermal conditions as a parallel contact-lithographic access to patterns of solvothermal reaction products in thin-layer configurations. To this end, corresponding precursor inks are infiltrated into mechanically robust mesoporous aerogel stamps derived from double-network hydrogels (DNHGs). The stamp is then brought into contact with a substrate to be patterned under solvothermal reaction conditions inside an autoclave. The precursor ink forms liquid bridges between the topographic surface pattern of the stamp and the substrate. Evaporation-driven enrichment of the precursors in these liquid bridges along with their liquid-bridge-guided conversion into the solvothermal reaction products yields large-area submicron patterns of the solvothermal reaction products replicating the stamp topography. As example, we prepared thin hybrid films, which contained ordered monolayers of superparamagnetic submicron nickel ferrite dots prepared by solvothermal capillary stamping surrounded by nickel electrodeposited in a second, orthogonal substrate functionalization step. The submicron nickel ferrite dots acted as magnetic hardener halving the remanence of the ferromagnetic nickel layer. In this way, thin-layer electromechanical systems, transformers and positioning systems may be customized.


title: A Robust Bayesian Method for Building Polygenic Risk Scores using Projected Summary Statistics and Bridge Prior

abstract: Polygenic Risk Scores (PRS) developed from genome-wide association studies (GWAS) are of increasing interest for various clinical and research applications. Bayesian methods have been particularly popular for building PRS in genome-wide scale because of their natural ability to regularize model and borrow information in high-dimension. In this article, we present new theoretical results, methods, and extensive numerical studies to advance Bayesian methods for PRS applications. We conduct theoretical studies to identify causes of convergence issues of some Bayesian methods when required input GWAS summary-statistics and linkage disequilibrium (LD) (genetic correlation) data are derived from distinct samples. We propose a remedy to the problem by the projection of the summary-statistics data into the column space of the genetic correlation matrix. We further implement a PRS development algorithm under the Bayesian Bridge prior which can allow more flexible specification of effect-size distribution than those allowed under popular alternative methods. Finally, we conduct careful benchmarking studies of alternative Bayesian methods using both simulation studies and real datasets, where we carefully investigate both the effect of prior specification and estimation strategies for LD parameters. These studies show that the proposed algorithm, equipped with the projection approach, the flexible prior specification, and an efficient numerical algorithm leads to the development of the most robust PRS across a wide variety of scenarios.


title: Andreev conductance in disordered SF junctions with spin-orbit scattering

abstract: We calculate the conductance of a junction between a disordered superconductor and a very strong half-metallic ferromagnet admitting electrons with only one spin projection. A usual mechanism of Andreev reflection is strongly suppressed in this case since Cooper pairs are composed of electrons with opposite spins. However, this obstacle can be overcome if we take into account spin-orbit scattering inside the superconductor. Spin-orbit scattering induces a fluctuational (zero on average) spin-triplet component of the superconducting condensate, which is enough to establish Andreev transport into a strong ferromagnet. This remarkably simple mechanism is quite versatile and can explain long-range triplet proximity effect in a number of experimental setups. One particular application of the suggested effect is to measure the spin-orbit scattering time $\tau_{\text{SO}}$ in disordered superconducting materials. The value of Andreev conductance strongly depends on the parameter $\Delta \tau_\text{SO}$ and can be noticeable even in very disordered but relatively light metals like granular aluminum.


title: KPZ fluctuations in finite volume

abstract: These lecture notes, adapted from the habilitation thesis of the author, survey in a first part various exact results obtained in the past few decades about KPZ fluctuations in one dimension, with a special focus on finite volume effects describing the relaxation to its stationary state of a finite system starting from a given initial condition. The second part is more specifically devoted to an approach allowing to express in a simple way the statistics of the current in the totally asymmetric simple exclusion process in terms of a contour integral on a compact Riemann surface, whose infinite genus limit leads to KPZ fluctuations in finite volume.

categories: math.PR cond-mat.stat-mech math-ph math.MP


title: Protocol for certifying entanglement in surface spin systems using a scanning tunneling microscope

abstract: Certifying quantum entanglement is a critical step towards realizing quantum-coherent applications of surface spin systems. In this work, we show that entanglement can be unambiguously shown in a scanning tunneling microscope (STM) with electron spin resonance by exploiting the fact that entangled states undergo a free time evolution with a distinct characteristic time constant that clearly distinguishes it from any other time evolution in the system. By implementing a suitable phase control scheme, the phase of this time evolution can be mapped back onto the population of one entangled spin in a pair, which can then be read out reliably using a weakly coupled sensor spin in the junction of the scanning tunneling microscope. We demonstrate through open quantum system simulations with realistic spin systems, which are currently available with spin coherence times of $T_2\approx$ 300 ns, that a signal directly correlated with the degree of entanglement can be measured at a temperature range of 100$-$400 mK accessible in sub-Kelvin cryogenic STM systems.


title: Enhancement of a Text-Independent Speaker Verification System by using Feature Combination and Parallel-Structure Classifiers

abstract: Speaker Verification (SV) systems involve mainly two individual stages: feature extraction and classification. In this paper, we explore these two modules with the aim of improving the performance of a speaker verification system under noisy conditions. On the one hand, the choice of the most appropriate acoustic features is a crucial factor for performing robust speaker verification. The acoustic parameters used in the proposed system are: Mel Frequency Cepstral Coefficients (MFCC), their first and second derivatives (Deltas and Delta- Deltas), Bark Frequency Cepstral Coefficients (BFCC), Perceptual Linear Predictive (PLP), and Relative Spectral Transform - Perceptual Linear Predictive (RASTA-PLP). In this paper, a complete comparison of different combinations of the previous features is discussed. On the other hand, the major weakness of a conventional Support Vector Machine (SVM) classifier is the use of generic traditional kernel functions to compute the distances among data points. However, the kernel function of an SVM has great influence on its performance. In this work, we propose the combination of two SVM-based classifiers with different kernel functions: Linear kernel and Gaussian Radial Basis Function (RBF) kernel with a Logistic Regression (LR) classifier. The combination is carried out by means of a parallel structure approach, in which different voting rules to take the final decision are considered. Results show that significant improvement in the performance of the SV system is achieved by using the combined features with the combined classifiers either with clean speech or in the presence of noise. Finally, to enhance the system more in noisy environments, the inclusion of the multiband noise removal technique as a preprocessing stage is proposed.


title: Symmetries in the many-body problems, a method to find its analytical solution, and Helium atom spectrum

abstract: In this work it is shown that there are symmetries beyond the Euclidean group $E\left(3\right)$ in 3-body problem, and by extension in many-body problem, with inverse squared distance inter particle force. The symmetries in 3-body problem form a group: $SO\left(4\times3,2\times3\right)/\left(C\left(3\times2\right)\right)$, where $C\left(n\right)$ is the planar translation group in n dimensions, which forms its Spectrum-Generating group. Some of these quantities commute with the Hamiltonian. The existence of these conserved quantities was verified by calculating energy spectrum of the Helium atom. This method can also be used to find symmetries in many-body problem, and to calculate energy levels, and wave-functions of more complicated systems, which include every possible atomic and molecular systems in chemistry.


title: A Nonlinear Journey from Structural Phase Transitions to Quantum Annealing

abstract: Motivated by an exact mapping between equilibrium properties of a 1-dimensional chain of quantum Ising spins in a transverse field (the transverse field Ising (TFI) model) and a 2-dimensional classical array of particles in double-well potentials (the "$\phi^4$ model") with weak inter-chain coupling, we explore connections between the driven variants of the two systems. We argue that coupling between the fundamental topological solitary waves in the form of kinks between neighboring chains in the classical $\phi^4$ system is the analogue of the competing effect of the transverse field on spin flips in the quantum TFI model. As an example application, we mimic simplified measurement protocols in a closed quantum model system by studying the classical $\phi^4$ model subjected to periodic perturbations. This reveals memory/loss of memory and coherence/decoherence regimes, whose quantum analogues are essential in annealing phenomena. In particular, we examine regimes where the topological excitations control the thermal equilibration following perturbations. This paves the way for further explorations of the analogy between lower-dimensional linear quantum and higher-dimensional classical nonlinear systems.


title: Volterra equations with affine drift: looking for stationarity

abstract: We investigate the properties of the solutions of scaled Volterra equations (i.e. with an affine mean-reverting drift) in terms of stationarity at both a finite horizon and on the long run. In particular we prove that such an equation never has a stationary regime, except if the kernel is constant (i.e. the equation is a standard Brownian diffusion) or in some fully degenerate pathological settings. We introduce a deterministic stabilizer $ \varsigma$ associated to the kernel which produces a {\em fake stationary regime} in the sense that all the marginals share the same expectation and variance. We also show that the marginals of such a process starting from when starting various initial values are confluent in $L^2$ as time goes to infinity. We establish that for some classes of diffusion coefficients (square root of positive quadratic polynomials) the time shifted solutions of such Volterra equations weakly functionally converges toward a family of $L^2$-stationary processes sharing the same covariance function. We apply these results to (stabilized) rough volatility models (when the kernel $K(t)= t^{H-\frac 12}$, $0<H<\frac 12$) which leads to produce a fake stationary quadratic rough Heston model.


title: Applications of artificial intelligence in the analysis of histopathology images of gliomas: a review

abstract: In recent years, the diagnosis of gliomas has become increasingly complex. Analysis of glioma histopathology images using artificial intelligence (AI) offers new opportunities to support diagnosis and outcome prediction. To give an overview of the current state of research, this review examines 70 publicly available research studies that have proposed AI-based methods for whole-slide histopathology images of human gliomas, covering the diagnostic tasks of subtyping (16/70), grading (23/70), molecular marker prediction (13/70), and survival prediction (27/70). All studies were reviewed with regard to methodological aspects as well as clinical applicability. It was found that the focus of current research is the assessment of hematoxylin and eosin-stained tissue sections of adult-type diffuse gliomas. The majority of studies (49/70) are based on the publicly available glioblastoma and low-grade glioma datasets from The Cancer Genome Atlas (TCGA) and only a few studies employed other datasets in isolation (10/70) or in addition to the TCGA datasets (11/70). Current approaches mostly rely on convolutional neural networks (53/70) for analyzing tissue at 20x magnification (30/70). A new field of research is the integration of clinical data, omics data, or magnetic resonance imaging (27/70). So far, AI-based methods have achieved promising results, but are not yet used in real clinical settings. Future work should focus on the independent validation of methods on larger, multi-site datasets with high-quality and up-to-date clinical and molecular pathology annotations to demonstrate routine applicability.


title: Spatial Analysis and Synthesis Methods: Subjective and Objective Evaluations Using Various Microphone Arrays in the Auralization of a Critical Listening Room

abstract: Parametric sound field synthesis methods, such as the Spatial Decomposition Method (SDM) and Higher-Order Spatial Impulse Response Rendering (HO-SIRR), are widely used for the analysis and auralization of sound fields. This paper studies the performances of various sound field synthesis methods in the context of the auralization of a critical listening room. The influence on the perceived spatial and timbral fidelity of the following factors is considered: the rendering framework, direction of arrival (DOA) estimation method, microphone array structure, and use of a dedicated center reference microphone with SDM. Listening tests compare the synthesized sound fields to a reference binaural rendering condition. Several acoustic parameters are measured to gain insights into objective differences between methods. A high-quality pressure microphone improves the SDM framework's timbral fidelity. Additionally, SDM and HO-SIRR show similarities in spatial fidelity. Performance variation between SDM configurations is influenced by the DOA estimation method and microphone array construction. The binaural SDM (BSDM) presentations display temporal artifacts impacting sound quality.


title: SliceGPT: Compress Large Language Models by Deleting Rows and Columns

abstract: Large language models have become the cornerstone of natural language processing, but their use comes with substantial costs in terms of compute and memory resources. Sparsification provides a solution to alleviate these resource constraints, and recent works have shown that trained models can be sparsified post-hoc. Existing sparsification techniques face challenges as they need additional data structures and offer constrained speedup with current hardware. In this paper we present SliceGPT, a new post-training sparsification scheme which replaces each weight matrix with a smaller (dense) matrix, reducing the embedding dimension of the network. Through extensive experimentation, we show that SliceGPT can remove up to 25% of the model parameters (including embeddings) for LLAMA2-70B, OPT 66B and Phi-2 models while maintaining 99%, 99% and 90% zero-shot task performance of the dense model respectively. Our sliced models run on fewer GPUs and run faster without any additional code optimization: on 24GB consumer GPUs we reduce the total compute for inference on LLAMA2-70B to 64% of that of the dense model; on 40GB A100 GPUs we reduce it to 66%. We offer a new insight, computational invariance in transformer networks, which enables SliceGPT and we hope it will inspire and enable future avenues to reduce memory and computation demands for pre-trained models. Code is available at: https://github.com/microsoft/TransformerCompression


title: A New Determination of the (Z,A) Dependence of Coherent Muon-to-Electron Conversion

abstract: Should muon-to-electron conversion in the field of a nucleus be found in the current generation of experiments, the measurement of the atomic number dependence of the process will become an important experimental goal. We present a new treatment of the (Z,A) dependence of coherent muon-to-electron conversion in 236 isotopes. Our approach differs from previous treatments in several ways. Firstly, we include the effect of permanent quadrupole deformation on the charged lepton flavor violating matrix elements, using the method of Barrett moments. This method also enables the addition of muonic X-ray nuclear size and shape determinations of the charge distribution to the electron scattering results used previously. Secondly, we employ a Hartree-Bogoliubov model to calculate neutron-related matrix elements for even-even nuclei. This takes into account the quadrupole deformation of the neutron distributions and the fact that neutrons are, in general, in different shell model orbits than protons. The calculated conversion rates differ from previous calculations, particularly in the region of large permanent quadrupole deformation. Finally, we propose an alternative normalization of the muon-to-electron conversion rated, which related more closely to what a given experiment acturally measures, and better separate lepton physics from nuclear physics effects.


title: Multi-Agent Coordination for a Partially Observable and Dynamic Robot Soccer Environment with Limited Communication

abstract: RoboCup represents an International testbed for advancing research in AI and robotics, focusing on a definite goal: developing a robot team that can win against the human world soccer champion team by the year 2050. To achieve this goal, autonomous humanoid robots' coordination is crucial. This paper explores novel solutions within the RoboCup Standard Platform League (SPL), where a reduction in WiFi communication is imperative, leading to the development of new coordination paradigms. The SPL has experienced a substantial decrease in network packet rate, compelling the need for advanced coordination architectures to maintain optimal team functionality in dynamic environments. Inspired by market-based task assignment, we introduce a novel distributed coordination system to orchestrate autonomous robots' actions efficiently in low communication scenarios. This approach has been tested with NAO robots during official RoboCup competitions and in the SimRobot simulator, demonstrating a notable reduction in task overlaps in limited communication settings.


title: Impact of disorder in Nd-based pyrochlore magnets

abstract: We study the stability of the antiferromagnetic all-in--all-out state observed in dipolar-octupolar pyrochlores that have neodymium as the magnetic species. Different types of disorder are considered, either affecting the immediate environment of the Nd$^{3+}$ ion, or substituting it with a non-magnetic ion. Starting from the well studied Nd$_2$Zr$_2$O$_7$ compound, Ti substitution on the Zr site and dilution on the Nd magnetic site with La substitution are investigated. The recently discovered entropy stabilized compound NdMox, which exhibits a high degree of disorder on the non magnetic site is also studied. Using a range of experimental techniques, especially very low-temperature magnetization and neutron scattering, we show that the all-in--all-out state is very robust and withstands substitutional disorder up to large rates. From these measurements, we estimate the Hamiltonian parameters and discuss their evolution in the framework of the phase diagram of dipolar-octupolar pyrochlore magnets.


title: User Association Optimization for IRS-aided Terahertz Networks: A Matching Theory Approach

abstract: Terahertz (THz) communication is a promising technology for future wireless communications, offering data rates of up to several terabits-per-second (Tbps). However, the range of THz band communications is often limited by high pathloss and molecular absorption. To overcome these challenges, this paper proposes intelligent reconfigurable surfaces (IRSs) to enhance THz communication systems. Specifically, we introduce an angle-based trigonometric channel model to evaluate the effectiveness of IRS-aided THz networks. Additionally, to maximize the sum rate, we formulate the source-IRS-destination matching problem, which is a mixed-integer nonlinear programming (MINLP) problem. To solve this non-deterministic polynomial-time hard (NP-hard) problem, the paper proposes a Gale-Shapley-based solution that obtains stable matches between sources and IRSs, as well as between destinations and IRSs in the first and second sub-problems, respectively.


title: Learning Neural Radiance Fields of Forest Structure for Scalable and Fine Monitoring

abstract: This work leverages neural radiance fields and remote sensing for forestry applications. Here, we show neural radiance fields offer a wide range of possibilities to improve upon existing remote sensing methods in forest monitoring. We present experiments that demonstrate their potential to: (1) express fine features of forest 3D structure, (2) fuse available remote sensing modalities and (3), improve upon 3D structure derived forest metrics. Altogether, these properties make neural fields an attractive computational tool with great potential to further advance the scalability and accuracy of forest monitoring programs.


title: On the generalization capacity of neural networks during generic multimodal reasoning

abstract: The advent of the Transformer has led to the development of large language models (LLM), which appear to demonstrate human-like capabilities. To assess the generality of this class of models and a variety of other base neural network architectures to multimodal domains, we evaluated and compared their capacity for multimodal generalization. We introduce a multimodal question-answer benchmark to evaluate three specific types of out-of-distribution (OOD) generalization performance: distractor generalization (generalization in the presence of distractors), systematic compositional generalization (generalization to new task permutations), and productive compositional generalization (generalization to more complex tasks structures). We found that across model architectures (e.g., RNNs, Transformers, Perceivers, etc.), models with multiple attention layers, or models that leveraged cross-attention mechanisms between input domains, fared better. Our positive results demonstrate that for multimodal distractor and systematic generalization, either cross-modal attention or models with deeper attention layers are key architectural features required to integrate multimodal inputs. On the other hand, neither of these architectural features led to productive generalization, suggesting fundamental limitations of existing architectures for specific types of multimodal generalization. These results demonstrate the strengths and limitations of specific architectural components underlying modern neural models for multimodal reasoning. Finally, we provide Generic COG (gCOG), a configurable benchmark with several multimodal generalization splits, for future studies to explore.


title: Tensor product algorithms for inference of contact network from epidemiological data

abstract: We consider a problem of inferring contact network from nodal states observed during an epidemiological process. In a black-box Bayesian optimisation framework this problem reduces to a discrete likelihood optimisation over the set of possible networks. The high dimensionality of this set, which grows quadratically with the number of network nodes, makes this optimisation computationally challenging. Moreover, the computation of the likelihood of a network requires estimating probabilities of the observed data to realise during the evolution of the epidemiological process on this network. A stochastic simulation algorithm struggles to estimate rare events of observing the data (corresponding to the ground truth network) during the evolution with a significantly different network, and hence prevents optimisation of the likelihood. We replace the stochastic simulation with solving the chemical master equation for the probabilities of all network states. This equation also suffers from the curse of dimensionality due to the exponentially large number of network states. We overcome this by approximating the probability of states in the tensor-train decomposition. This enables fast and accurate computation of small probabilities and likelihoods. Numerical simulations demonstrate efficient black-box Bayesian inference of the network.

categories: stat.CO cs.NA math.NA math.PR physics.soc-ph


title: Color Maker: a Mixed-Initiative Approach to Creating Accessible Color Maps

abstract: Quantitative data is frequently represented using color, yet designing effective color mappings is a challenging task, requiring one to balance perceptual standards with personal color preference. Current design tools either overwhelm novices with complexity or offer limited customization options. We present ColorMaker, a mixed-initiative approach for creating colormaps. ColorMaker combines fluid user interaction with real-time optimization to generate smooth, continuous color ramps. Users specify their loose color preferences while leaving the algorithm to generate precise color sequences, meeting both designer needs and established guidelines. ColorMaker can create new colormaps, including designs accessible for people with color-vision deficiencies, starting from scratch or with only partial input, thus supporting ideation and iterative refinement. We show that our approach can generate designs with similar or superior perceptual characteristics to standard colormaps. A user study demonstrates how designers of varying skill levels can use this tool to create custom, high-quality colormaps. ColorMaker is available at https://colormaker.org


title: Higher-Order Entrywise Eigenvectors Analysis of Low-Rank Random Matrices: Bias Correction, Edgeworth Expansion, and Bootstrap

abstract: Understanding the distributions of spectral estimators in low-rank random matrix models, also known as signal-plus-noise matrix models, is fundamentally important in various statistical learning problems, including network analysis, matrix denoising, and matrix completion. This paper investigates the entrywise eigenvector distributions in a broad range of low-rank signal-plus-noise matrix models by establishing their higher-order accurate stochastic expansions. At a high level, the stochastic expansion states that the eigenvector perturbation approximately decomposes into the sum of a first-order term and a second-order term, where the first-order term in the expansion is a linear function of the noise matrix, and the second-order term is a linear function of the squared noise matrix. Our theoretical finding is used to derive the bias correction procedure for the eigenvectors. We further establish the Edgeworth expansion formula for the studentized entrywise eigenvector statistics. In particular, under mild conditions, we show that Cram\'er's condition on the smoothness of noise distribution is not required, thanks to the self-smoothing effect of the second-order term in the eigenvector stochastic expansion. The Edgeworth expansion result is then applied to justify the higher-order correctness of the residual bootstrap procedure for approximating the distributions of the studentized entrywise eigenvector statistics.


title: Explicit Subcodes of Reed-Solomon Codes that Efficiently Achieve List Decoding Capacity

abstract: In this paper, we introduce a novel explicit family of subcodes of Reed-Solomon (RS) codes that efficiently achieve list decoding capacity with a constant output list size. Our approach builds upon the idea of large linear subcodes of RS codes evaluated on a subfield, similar to the method employed by Guruswami and Xing (STOC 2013). However, our approach diverges by leveraging the idea of {\it permuted product codes}, thereby simplifying the construction by avoiding the need of {\it subspace designs}. Specifically, the codes are constructed by initially forming the tensor product of two RS codes with carefully selected evaluation sets, followed by specific cyclic shifts to the codeword rows. This process results in each codeword column being treated as an individual coordinate, reminiscent of prior capacity-achieving codes, such as folded RS codes and univariate multiplicity codes. This construction is easily shown to be a subcode of an interleaved RS code, equivalently, an RS code evaluated on a subfield. Alternatively, the codes can be constructed by the evaluation of bivariate polynomials over orbits generated by \emph{two} affine transformations with coprime orders, extending the earlier use of a single affine transformation in folded RS codes and the recent affine folded RS codes introduced by Bhandari {\it et al.} (IEEE T-IT, Feb.~2024). While our codes require large, yet constant characteristic, the two affine transformations facilitate achieving code length equal to the field size, without the restriction of the field being prime, contrasting with univariate multiplicity codes.


title: Chaos-Based Bitwise Dynamical Pseudorandom Number Generator on FPGA

abstract: In this paper, a new pseudorandom number generator (PRNG) based on the logistic map has been proposed. To prevent the system to fall into short period orbits as well as increasing the randomness of the generated sequences, the proposed algorithm dynamically changes the parameters of the chaotic system. This PRNG has been implemented in a Virtex 7 field-programmable gate array (FPGA) with a 32-bit fixed point precision, using a total of 510 lookup tables (LUTs) and 120 registers. The sequences generated by the proposed algorithm have been subjected to the National Institute of Standards and Technology (NIST) randomness tests, passing all of them. By comparing the randomness with the sequences generated by a raw 32-bit logistic map, it is shown that, by using only an additional 16% of LUTs, the proposed PRNG obtains a much better performance in terms of randomness, increasing the NIST passing rate from 0.252 to 0.989. Finally, the proposed bitwise dynamical PRNG is compared with other chaos-based realizations previously proposed, showing great improvement in terms of resources and randomness.


title: Distributed Simultaneous Localisation and Auto-Calibration using Gaussian Belief Propagation

abstract: We present a novel scalable, fully distributed, and online method for simultaneous localisation and extrinsic calibration for multi-robot setups. Individual a priori unknown robot poses are probabilistically inferred as robots sense each other while simultaneously calibrating their sensors and markers extrinsic using Gaussian Belief Propagation. In the presented experiments, we show how our method not only yields accurate robot localisation and auto-calibration but also is able to perform under challenging circumstances such as highly noisy measurements, significant communication failures or limited communication range.


title: On symmetries of spheres in univalent foundations

abstract: Working in univalent foundations, we investigate the symmetries of spheres, i.e., the types of the form $\mathbb{S}^n = \mathbb{S}^n$. The case of the circle has a slick answer: the symmetries of the circle form two copies of the circle. For higher-dimensional spheres, the type of symmetries has again two connected components, namely the components of the maps of degree plus or minus one. Each of the two components has $\mathbb{Z}/2\mathbb{Z}$ as fundamental group. For the latter result, we develop an EHP long exact sequence.