Tootfinder

You can now create HTML and CSS fragments in Kitten.
This introduces two new file extensions (.fragment.html and .fragment.css) and you can import these fragments into your pages and into other components and fragments as if they were JavaScript modules*.
HTML fragments also support slots.
Example:

app
A web development kit that’s small, purrs, and loves you.

50 years ago tonight, #JerryGarcia’s last stage appearance with the new riders of the purple sage, playing regular ol’ 6-string, just after producing their live album “home, home on the road.” the new riders’ 2nd gig with new bassist skip battin. torrent:

Tell the Supreme Court to stop politicizing medical care and protect emergency abortion access now.
#RoeYourVote #Vote4Healthcare

Tell the Supreme Court: Protect Emergency Abortion Care Under EMTALA
Tell the Supreme Court to stop politicizing medical care and protect emergency abortion access now.

Telegram now lets Premium users turn their account into a business account, with options like a custom start page, greeting and away messages, and chatbots (Sarah Perez/TechCrunch)
https://techcrunch.com/2024/04/01/chat

Chat app Telegram challenges Meta with the launch of new 'Business' features and revenue-sharing | TechCrunch
Telegram Business introduces options like a customized start page, plus the ability to set business hours, use preset replies, greeting and away messages, chatbots, tags for chats, and more.

EEvA: Fast Expert-Based Algorithms for Buffer Page Replacement
Alexander Demin, Yuriy Dorn, Aleksandr Katrutsa, Daniil Kazantsev, Ilgam Latypov, Yulia Maximlyuk, Denis Ponomaryov
https://arxiv.org/abs/2405.00154

EEvA: Fast Expert-Based Algorithms for Buffer Page Replacement
Optimal page replacement is an important problem in efficient buffer management. The range of replacement strategies known in the literature varies from simple but efficient FIFO-based algorithms to more accurate but potentially costly methods tailored to specific data access patterns. The principal issue in adopting a pattern-specific replacement logic in a DB buffer manager is to guarantee non-degradation in general high-load regimes. In this paper, we propose a new family of page replacement…

This https://arxiv.org/abs/2311.07655 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_hept…

Page curves and replica wormholes from random dynamics
We show how to capture both the non-unitary Page curve and replica wormhole-like contributions that restore unitarity in a toy quantum system with random dynamics. The motivation is to find the simplest dynamical model that captures this aspect of gravitational physics. In our model, we evolve with an ensemble of Hamiltonians with GUE statistics within microcanonical windows. The entropy of the averaged state gives the non-unitary curve, the averaged entropy gives the unitary curve, and the dif…

This https://arxiv.org/abs/2403.18760 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…

MLDT: Multi-Level Decomposition for Complex Long-Horizon Robotic Task Planning with Open-Source Large Language Model
In the realm of data-driven AI technology, the application of open-source large language models (LLMs) in robotic task planning represents a significant milestone. Recent robotic task planning methods based on open-source LLMs typically leverage vast task planning datasets to enhance models' planning abilities. While these methods show promise, they struggle with complex long-horizon tasks, which require comprehending more context and generating longer action sequences. This paper addresses thi…

I have just made a personal donation to #UNWRA. Obviously, people voluntarily donating will not make up for the loss of funding from governments, and I urge you also to write to your representatives if you live in one of the countries which have suspended funding, but seriously, to prevent disease and famine and to stand against

This https://arxiv.org/abs/2404.16774 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Imaginary Stark Skin Effect
The non-Hermitian skin effect (NHSE) is a unique phenomenon in non-Hermitian systems. However, studies on NHSE in systems without translational symmetry remain largely unexplored. Here, we unveil a new class of NHSE, dubbed "imaginary Stark skin effect" (ISSE), in a one-dimensional lossy lattice with a spatially increasing loss rate. The energy spectrum of this model exhibits a T-shaped feature, with approximately half of the eigenstates localized at the left boundary. These skin modes exhibit …

Call in at 1pm today to save the pathway on the Richmond-San Rafael Bridge!
https://sf.streetsblog.org/2024/05/01/call-to-action-save-the-bike-path-on-the-richmond-san-rafael-bridge

Call to Action: Save the Bike Path on the Richmond-San Rafael Bridge - Streetsblog San Francisco
The board of the Bay Conservation and Development Commission (BCDC), part of the Metropolitan Transportation Commission, will hear testimony Thursday/tomorrow May 2 on whether or not to ban anyone not in a motor-vehicle from crossing the Bay between Richmond and San Rafael. From Bike East Bay’s web page: … the Bay Conservation and Development Commission […]

This https://arxiv.org/abs/2311.04468 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_ees…

A human brain atlas of chi-separation for normative iron and myelin distributions
Iron and myelin are primary susceptibility sources in the human brain. These substances are essential for healthy brain, and their abnormalities are often related to various neurological disorders. Recently, an advanced susceptibility mapping technique, which is referred to as chi-separation, has been proposed, successfully disentangling paramagnetic iron from diamagnetic myelin. This method opened a potential for generating high resolution iron and myelin maps in the brain. Utilizing this tech…

This https://arxiv.org/abs/2403.10576 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…

Ignore Me But Don't Replace Me: Utilizing Non-Linguistic Elements for Pretraining on the Cybersecurity Domain
Cybersecurity information is often technically complex and relayed through unstructured text, making automation of cyber threat intelligence highly challenging. For such text domains that involve high levels of expertise, pretraining on in-domain corpora has been a popular method for language models to obtain domain expertise. However, cybersecurity texts often contain non-linguistic elements (such as URLs and hash values) that could be unsuitable with the established pretraining methodologies.…

[2024-04-02 Tue (UTC), no new articles found for cs.LO Logic in Computer Science]

#AccordionRevolution eBook sale! ❤️‍🔥🪗📱
50% off sale for the month of May
(Includes bonus free digital Annotated Edition ✍️ 2,000 footnotes, 1,900 item bibliography)
Http://AccordionBruce.etsy.com

AccordionBruce - Etsy
Shop Accordion Revolution by AccordionBruce located in Vancouver, Canada. Top shop for gifts. Buyers bought gifts from this shop and gave them 5-star reviews!

Is it just me, or is there something nostalgic about how plain the #nginx 404 page is?

This https://arxiv.org/abs/2404.17694 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Areas Between Cosines
We find the area between $\cos^p x$ and $\cos^p nx$ as $n$ heads to infinity, and we establish a connection between these limiting values and the exponential generating function for $\arcsin x/(1-x)$ at sequence number A296726 on the OEIS.

This https://arxiv.org/abs/2305.19001 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_sta…

High-probability sample complexities for policy evaluation with linear function approximation
This paper is concerned with the problem of policy evaluation with linear function approximation in discounted infinite horizon Markov decision processes. We investigate the sample complexities required to guarantee a predefined estimation error of the best linear coefficients for two widely-used policy evaluation algorithms: the temporal difference (TD) learning algorithm and the two-timescale linear TD with gradient correction (TDC) algorithm. In both the on-policy setting, where observations…

My university's communications team posts all of the administration's missives, including its recent statements on student protest, to a page with the Orwellian title "UTogether". So admin wants all the rest of us to understand that it's us against them, right?
https://www.utoronto.ca/…

Counterfactual Explanations for Deep Learning-Based Traffic Forecasting
Rushan Wang, Yanan Xin, Yatao Zhang, Fernando Perez-Cruz, Martin Raubal
https://arxiv.org/abs/2405.00456

Counterfactual Explanations for Deep Learning-Based Traffic Forecasting
Deep learning models are widely used in traffic forecasting and have achieved state-of-the-art prediction accuracy. However, the black-box nature of those models makes the results difficult to interpret by users. This study aims to leverage an Explainable AI approach, counterfactual explanations, to enhance the explainability and usability of deep learning-based traffic forecasting models. Specifically, the goal is to elucidate relationships between various input contextual features and their c…

Heads up anyone playing with Kitten at the moment (yes, both of you):
I’m in the process of upgrading Kitten’s version of JSDB from 4 to 5.
*This is a breaking change.*
This will affect you if you’re persisting custom objects (instances of your custom model classes) in your databases.
Please see the details in this JSDB announcement post and the linked-to details page to prepare:

This https://arxiv.org/abs/2403.11487 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…

Can LLMs Generate Human-Like Wayfinding Instructions? Towards Platform-Agnostic Embodied Instruction Synthesis
We present a novel approach to automatically synthesize "wayfinding instructions" for an embodied robot agent. In contrast to prior approaches that are heavily reliant on human-annotated datasets designed exclusively for specific simulation platforms, our algorithm uses in-context learning to condition an LLM to generate instructions using just a few references. Using an LLM-based Visual Question Answering strategy, we gather detailed information about the environment which is used by the LLM f…

This https://arxiv.org/abs/2404.14399 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

MLQAOA: Graph Learning Accelerated Hybrid Quantum-Classical Multilevel QAOA
Learning the problem structure at multiple levels of coarseness to inform the decomposition-based hybrid quantum-classical combinatorial optimization solvers is a promising approach to scaling up variational approaches. We introduce a multilevel algorithm reinforced with the spectral graph representation learning-based accelerator to tackle large-scale graph maximum cut instances and fused with several versions of the quantum approximate optimization algorithm (QAOA) and QAOA-inspired algorithm…

This https://arxiv.org/abs/2311.04468 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_ees…

A human brain atlas of chi-separation for normative iron and myelin distributions
Iron and myelin are primary susceptibility sources in the human brain. These substances are essential for healthy brain, and their abnormalities are often related to various neurological disorders. Recently, an advanced susceptibility mapping technique, which is referred to as chi-separation, has been proposed, successfully disentangling paramagnetic iron from diamagnetic myelin. This method opened a potential for generating high resolution iron and myelin maps in the brain. Utilizing this tech…

This https://arxiv.org/abs/2403.05030 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…

Defending Against Unforeseen Failure Modes with Latent Adversarial Training
AI systems sometimes exhibit harmful unintended behaviors post-deployment. This is often despite extensive diagnostics and debugging by developers. Minimizing risks from models is challenging because the attack surface is so large. It is not tractable to exhaustively search for inputs that may cause a model to fail. Red-teaming and adversarial training (AT) are commonly used to make AI systems more robust. However, they have not been sufficient to avoid many real-world failure modes that differ…

[2024-04-02 Tue (UTC), no new articles found for cs.LO Logic in Computer Science]

This https://arxiv.org/abs/2404.05542 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

On the chromatic number of powers of subdivisions of graphs
For a given graph $G=(V,E)$, we define its $n$-th subdivision as the graph obtained from $G$ by replacing every edge by a path of length $n$. We also define the $m$-th power of $G$ as the graph on vertex set $V$ where we connect every pair of vertices at distance at most $m$ in $G$. In this paper we study the chromatic number of powers of subdivisions of graphs and we obtain an exact bound for $n=3$ and $m=2$. Additionally, we resolve the case $m=n$ asymptotically; in particular, our result con…

Counterfactual Explanations for Deep Learning-Based Traffic Forecasting
Rushan Wang, Yanan Xin, Yatao Zhang, Fernando Perez-Cruz, Martin Raubal
https://arxiv.org/abs/2405.00456

Counterfactual Explanations for Deep Learning-Based Traffic Forecasting
Deep learning models are widely used in traffic forecasting and have achieved state-of-the-art prediction accuracy. However, the black-box nature of those models makes the results difficult to interpret by users. This study aims to leverage an Explainable AI approach, counterfactual explanations, to enhance the explainability and usability of deep learning-based traffic forecasting models. Specifically, the goal is to elucidate relationships between various input contextual features and their c…

This https://arxiv.org/abs/2404.09225 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_hept…

Nonlocal Gravity, Dark Energy and Conformal Symmetry: Testing the Hierarchies of Anomaly-Induced Actions
Conformal back-reaction generates cosmological models where the trace anomaly reflects the breaking of Weyl invariance. Analyzing these actions yields a dynamic approach to dark energy through anomaly-induced actions (AIAs), that are variational solutions of the trace anomaly functional constraint. Expanded around Minkowski space, they produce semiclassical correlators subject to hierarchical anomalous Ward identities, tied to conformal symmetry and diffeomorphism invariance. We focus on compar…

This https://arxiv.org/abs/2403.03954 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…

3D Diffusion Policy: Generalizable Visuomotor Policy Learning via Simple 3D Representations
Imitation learning provides an efficient way to teach robots dexterous skills; however, learning complex skills robustly and generalizablely usually consumes large amounts of human demonstrations. To tackle this challenging problem, we present 3D Diffusion Policy (DP3), a novel visual imitation learning approach that incorporates the power of 3D visual representations into diffusion policies, a class of conditional action generative models. The core design of DP3 is the utilization of a compact…

This https://arxiv.org/abs/2404.12939 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Superradiant phase transition in a large interacting driven atomic ensemble in free space
Atomic ensembles strongly interacting with light constitute rich quantum-optical many-body systems, with the potential for observing cooperative effects and dissipative nonequilibrium phase transitions. We theoretically analyze the conditions under which a driven atomic ensemble in free space, characterized by strong dipole-dipole interactions and large spatial extent, can undergo a superradiant phase transition, also known as cooperative resonance fluorescence. In an atomic array, stationary s…

This https://arxiv.org/abs/2401.10375 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…

Vulnerabilities of Foundation Model Integrated Federated Learning Under Adversarial Threats
Federated Learning (FL) addresses critical issues in machine learning related to data privacy and security, yet suffering from data insufficiency and imbalance under certain circumstances. The emergence of foundation models (FMs) offers potential solutions to the limitations of existing FL frameworks, e.g., by generating synthetic data for model initialization. However, due to the inherent safety concerns of FMs, integrating FMs into FL could introduce new risks, which remains largely unexplore…

This https://arxiv.org/abs/2312.05595 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

On the (non-)existence of tight distance-regular graphs: a local approach
Let $Γ$ denote a distance-regular graph with diameter $D\geq 3$. Jurišić and Vidali conjectured that if $Γ$ is tight with classical parameters $(D,b,α,β)$, $b\geq 2$, then $Γ$ is not locally the block graph of an orthogonal array nor the block graph of a Steiner system. In the present paper, we prove this conjecture and, furthermore, extend it from the following aspect. Assume that for every triple of vertices $x, y, z$ of $Γ$, where $x$ and $y$ are adjacent, and $z$ is at distance $2$ …

This https://arxiv.org/abs/2404.18151 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…

Decidability of Graph Neural Networks via Logical Characterizations
We present results concerning the expressiveness and decidability of a popular graph learning formalism, graph neural networks (GNNs), exploiting connections with logic. We use a family of recently-discovered decidable logics involving "Presburger quantifiers". We show how to use these logics to measure the expressiveness of classes of GNNs, in some cases getting exact correspondences between the expressiveness of logics and GNNs. We also employ the logics, and the techniques used to analyze th…

This https://arxiv.org/abs/2403.16166 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_hept…

de Sitter at all loops: the story of the Schwinger model
We consider the two-dimensional Schwinger model of a massless charged fermion coupled to an Abelian gauge field on a fixed de Sitter background. The theory admits an exact solution, first examined by Jayewardena, and can be analyzed efficiently using Euclidean methods. We calculate fully non-perturbative, gauge-invariant correlation functions of the electric field as well as the fermion and analyze these correlators in the late-time limit. We compare these results with the perturbative picture,…

This https://arxiv.org/abs/2402.14961 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…

Reinforcement Learning with Elastic Time Steps
Traditional Reinforcement Learning (RL) algorithms are usually applied in robotics to learn controllers that act with a fixed control rate. Given the discrete nature of RL algorithms, they are oblivious to the effects of the choice of control rate: finding the correct control rate can be difficult and mistakes often result in excessive use of computing resources or even lack of convergence. We propose Soft Elastic Actor-Critic (SEAC), a novel off-policy actor-critic algorithm to address this is…

This https://arxiv.org/abs/2404.02595 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

QFNN-FFD: Quantum Federated Neural Network for Financial Fraud Detection
This study introduces the Quantum Federated Neural Network for Financial Fraud Detection (QFNN-FFD), a cutting-edge framework merging Quantum Machine Learning (QML) and quantum computing with Federated Learning (FL) for financial fraud detection. Using quantum technologies' computational power and the robust data privacy protections offered by FL, QFNN-FFD emerges as a secure and efficient method for identifying fraudulent transactions within the financial sector. Implementing a dual-phase trai…

This https://arxiv.org/abs/2312.06987 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…

A new lightweight additive homomorphic encryption algorithm
This article describes a lightweight additive homomorphic algorithm with the same encryption and decryption keys. Compared to standard additive homomorphic algorithms like Paillier, this algorithm reduces the computational cost of encryption and decryption from modular exponentiation to modular multiplication, and reduces the computational cost of ciphertext addition from modular multiplication to modular addition. This algorithm is based on a new mathematical problem: in two division operation…

This https://arxiv.org/abs/2309.09578 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

A sufficient condition for cubic 3-connected plane bipartite graphs to be hamiltonian
Barnette's conjecture asserts that every cubic $3$-connected plane bipartite graph is hamiltonian. Although, in general, the problem is still open, some partial results are known. In particular, let us call a face of a plane graph big (small) if it has at least six edges (it has four edges, respectively). Goodey proved for a $3$-connected bipartite cubic plane graph $P$, that if all big faces in $P$ have exactly six edges, then $P$ is hamiltonian. In this paper we prove that the same is true un…

This https://arxiv.org/abs/2312.16729 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…

Behavioural pseudometrics for continuous-time diffusions
Bisimulation is a concept that captures behavioural equivalence of states in a variety of types of transition systems. It has been widely studied in a discrete-time setting where the notion of a step is fundamental. In our setting we are considering "flow"-processes emphasizing that they evolve in continuous time. In such continuous-time settings, the concepts are not straightforward adaptations of their discrete-time analogues and we restrict our study to diffusions that do not lose mass over …

This https://arxiv.org/abs/2403.03971 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_hept…

$\mathcal{N}=5$ SCFTs and quaternionic reflection groups
It was previously noted that for 3d SCFTs with $\mathcal{N}\geq 6$ the moduli space has the form of $\mathbb{C}^{4r}/Γ$, where $Γ$ is a complex reflection group, at least following suitable gauging of finite symmetries. Here we argue that this observation can be extended also to 3d SCFTs with $\mathcal{N}\geq 5$ SUSY, where $Γ$ is now a quaternionic reflection group. To do this, we study the moduli space of the known 3d $\mathcal{N}=5$ SCFTs. For Lagrangian cases, the results for the moduli …

This https://arxiv.org/abs/2311.09852 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…

Short vs. Long-term Coordination of Drones: When Distributed Optimization Meets Deep Reinforcement Learning
Swarms of autonomous interactive drones, with the support of recharging technology, can provide compelling sensing capabilities in Smart Cities, such as traffic monitoring and disaster response. This paper aims to deliver a novel coordination solution for the cost-effective navigation, sensing, and recharging of drones. Existing approaches, such as deep reinforcement learning (DRL), offer long-term adaptability, but lack energy efficiency, resilience, and flexibility in dynamic environments. Th…

This https://arxiv.org/abs/2403.16090 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

beSnake: A routing algorithm for scalable spin-qubit architectures
As quantum computing devices increase in size with respect to the number of qubits, two-qubit interactions become more challenging, necessitating innovative and scalable qubit routing solutions. In this work, we introduce beSnake, a novel algorithm specifically designed to address the intricate qubit routing challenges in scalable spin-qubit architectures. Unlike traditional methods in superconducting architectures that solely rely on SWAP operations, beSnake also incorporates the shuttle opera…

This https://arxiv.org/abs/2312.00057 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…

VA3: Virtually Assured Amplification Attack on Probabilistic Copyright Protection for Text-to-Image Generative Models
The booming use of text-to-image generative models has raised concerns about their high risk of producing copyright-infringing content. While probabilistic copyright protection methods provide a probabilistic guarantee against such infringement, in this paper, we introduce Virtually Assured Amplification Attack (VA3), a novel online attack framework that exposes the vulnerabilities of these protection mechanisms. The proposed framework significantly amplifies the probability of generating infri…

This https://arxiv.org/abs/2301.04636 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Unavoidable structures in infinite tournaments
We prove a strong dichotomy result for countably-infinite oriented graphs; that is, we prove that for all countably-infinite oriented graphs $G$, either (i) there is a countably-infinite tournament $K$ such that $G\not\subseteq K$, or (ii) every countably-infinite tournament contains a \emph{spanning} copy of $G$. Furthermore, we are able to give a concise characterization of such oriented graphs. Our characterization becomes even simpler in the case of transitive acyclic oriented graphs (i.e. …

This https://arxiv.org/abs/2402.14485 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…

Machine-Checked Categorical Diagrammatic Reasoning
This paper describes a formal proof library, developed using the Coq proof assistant, designed to assist users in writing correct diagrammatic proofs, for 1-categories. This library proposes a deep-embedded, domain-specific formal language, which features dedicated proof commands to automate the synthesis, and the verification, of the technical parts often eluded in the literature.

This https://arxiv.org/abs/2403.18760 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…

MLDT: Multi-Level Decomposition for Complex Long-Horizon Robotic Task Planning with Open-Source Large Language Model
In the realm of data-driven AI technology, the application of open-source large language models (LLMs) in robotic task planning represents a significant milestone. Recent robotic task planning methods based on open-source LLMs typically leverage vast task planning datasets to enhance models' planning abilities. While these methods show promise, they struggle with complex long-horizon tasks, which require comprehending more context and generating longer action sequences. This paper addresses thi…

This https://arxiv.org/abs/2403.11893 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Quantum Coordination Rates in Multi-Partite Networks
The optimal coordination rates are determined in three primary settings of multi-partite quantum networks, thus characterizing the minimal resources required in order to simulate a joint quantum state among multiple parties. We study the following models: (1) a cascade network with limited entanglement, (2) a broadcast network, which consists of a single sender and two receivers, (3) a multiple-access network with two senders and a single receiver. We establish the necessary and sufficient cond…

This https://arxiv.org/abs/2401.15078 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_hept…

Physical Yukawa Couplings in Heterotic String Compactifications
One of the challenges of heterotic compactification on a Calabi-Yau threefold is to determine the physical $(\mathbf{27})^3$ Yukawa couplings of the resulting four-dimensional $\mathcal{N}=1$ theory. In general, the calculation necessitates knowledge of the Ricci-flat metric. However, in the standard embedding, which references the tangent bundle, we can compute normalized Yukawa couplings from the Weil-Petersson metric on the moduli space of complex structure deformations of the Calabi-Yau man…

This https://arxiv.org/abs/2309.06702 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…

Functional Encryption in the Bounded Storage Models
Functional encryption is a powerful paradigm for public-key encryption that allows for controlled access to encrypted data. Achieving the ideal simulation based security for this primitive is generally impossible in the plain model, so we investigate possibilities in the bounded quantum storage model (BQSM) and the bounded classical storage model (BCSM), where adversaries are limited with respect to their quantum and classical memories, respectively. The impossibility results on functional encr…

This https://arxiv.org/abs/2403.11487 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…

Can LLMs Generate Human-Like Wayfinding Instructions? Towards Platform-Agnostic Embodied Instruction Synthesis
We present a novel approach to automatically synthesize "wayfinding instructions" for an embodied robot agent. In contrast to prior approaches that are heavily reliant on human-annotated datasets designed exclusively for specific simulation platforms, our algorithm uses in-context learning to condition an LLM to generate instructions using just a few references. Using an LLM-based Visual Question Answering strategy, we gather detailed information about the environment which is used by the LLM f…

This https://arxiv.org/abs/2402.08523 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Investigating the Effect of Noise on the Training Performance of Hybrid Quantum Neural Networks
In this paper, we conduct a comprehensively analyze the influence of different quantum noise gates, including Phase Flip, Bit Flip, Phase Damping, Amplitude Damping, and the Depolarizing Channel, on the performance of HyQNNs. Our results reveal distinct and significant effects on HyQNNs training and validation accuracies across different probabilities of noise. For instance, the Phase Flip gate introduces phase errors, and we observe that HyQNNs exhibit resilience at higher probability (p = 1.0…

This https://arxiv.org/abs/2309.00344 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…

A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting
Recently, the well-known dependency pair (DP) framework was adapted to a dependency tuple framework in order to prove almost-sure innermost termination (iAST) of probabilistic term rewrite systems. While this approach was incomplete, in this paper, we improve it into a complete criterion for iAST by presenting a new, more elegant definition of DPs for probabilistic term rewriting. Based on this, we extend the probabilistic DP framework by new transformations. Our implementation in the tool APro…

This https://arxiv.org/abs/2312.17313 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_hept…

Emerging entanglement on network histories
We show that quantum fields confined to Lorentzian histories of freely falling networks in Minkowski spacetime probe entanglement properties of vacuum fluctuations that extend unrestricted across spacetime regions. Albeit instantaneous field configurations are localized on one-dimensional edges, angular momentum emerges on these network histories and establish the celebrated area scaling of entanglement entropy.

This https://arxiv.org/abs/2304.10550 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…

Deep transfer learning for intrusion detection in industrial control networks: A comprehensive review
Globally, the external internet is increasingly being connected to industrial control systems. As a result, there is an immediate need to protect these networks from a variety of threats. The key infrastructure of industrial activity can be protected from harm using an intrusion detection system (IDS), a preventive mechanism that seeks to recognize new kinds of dangerous threats and hostile activities. This review examines the most recent artificial-intelligence techniques that are used to crea…

This https://arxiv.org/abs/2403.03954 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…

3D Diffusion Policy: Generalizable Visuomotor Policy Learning via Simple 3D Representations
Imitation learning provides an efficient way to teach robots dexterous skills; however, learning complex skills robustly and generalizablely usually consumes large amounts of human demonstrations. To tackle this challenging problem, we present 3D Diffusion Policy (DP3), a novel visual imitation learning approach that incorporates the power of 3D visual representations into diffusion policies, a class of conditional action generative models. The core design of DP3 is the utilization of a compact…

This https://arxiv.org/abs/2312.12172 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Reassessing the advantage of indefinite causal orders for quantum metrology
The quantum switch, the canonical example of a process with indefinite causal order, has been claimed to provide various advantages over processes with definite causal orders for some particular tasks in the field of quantum metrology. In this work, we argue that some of these advantages in fact do not hold if a fairer comparison is made. To this end, we consider a framework that allows for a proper comparison between the performance, quantified by the quantum Fisher information, of different c…

This https://arxiv.org/abs/2305.06548 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…

Layered Modal Type Theories
We introduce layers to modal type theories, which subsequently enables type theories for pattern matching on code in meta-programming and clean and straightforward semantics.

This https://arxiv.org/abs/2312.08534 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_hept…

Temporal Entanglement Entropy as a probe of Renormalization Group Flow
The recently introduced concept of timelike entanglement entropy has sparked a lot of interest. Unlike the traditional spacelike entanglement entropy, timelike entanglement entropy involves tracing over a timelike subsystem. In this work, we propose an extension of timelike entanglement entropy to Euclidean space ("temporal entanglement entropy"), and relate it to the renormalization group (RG) flow. Specifically, we show that tracing over a period of Euclidean time corresponds to coarse-graini…

This https://arxiv.org/abs/2303.11972 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…

A Post Quantum Key Agreement Protocol Based on a Modified Matrix Power Function over a Rectangular Matrices Semiring
We present an improved post-quantum version of Sakalauskas matrix power function key agreement protocol, using rectangular matrices instead of the original square ones. Sakalauskas matrix power function is an efficient and secure way to generate a shared secret key, and using rectangular matrices provides additional flexibility and security. This method reduces the computational complexity by allowing smaller random integer matrices while maintaining a high level of security. We dont rely on ma…

This https://arxiv.org/abs/2402.14961 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…

Reinforcement Learning with Elastic Time Steps
Traditional Reinforcement Learning (RL) algorithms are usually applied in robotics to learn controllers that act with a fixed control rate. Given the discrete nature of RL algorithms, they are oblivious to the effects of the choice of control rate: finding the correct control rate can be difficult and mistakes often result in excessive use of computing resources or even lack of convergence. We propose Soft Elastic Actor-Critic (SEAC), a novel off-policy actor-critic algorithm to address this is…

This https://arxiv.org/abs/2311.07121 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Control Requirements and Benchmarks for Quantum Error Correction
Reaching useful fault-tolerant quantum computation relies on successfully implementing quantum error correction (QEC). In QEC, quantum gates and measurements are performed to stabilize the computational qubits, and classical processing is used to convert the measurements into estimated logical Pauli frame updates or logical measurement results. While QEC research has concentrated on developing and evaluating QEC codes and decoding algorithms, specification and clarification of the requirements …

This https://arxiv.org/abs/2403.14260 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…

Complexity of the Model Checking problem for inquisitive propositional and modal logic
The aim of this paper is to study the complexity of the model checking problem MC for inquisitive propositional logic InqB and for inquisitive modal logic InqM, that is, the problem of deciding whether a given finite structure for the logic satisfies a given formula. In recent years, this problem has been thoroughly investigated for several variations of dependence and teams logics, systems closely related to inquisitive logic. Building upon some ideas presented by Yang, we prove that the model…

This https://arxiv.org/abs/2403.10576 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…

Ignore Me But Don't Replace Me: Utilizing Non-Linguistic Elements for Pretraining on the Cybersecurity Domain
Cybersecurity information is often technically complex and relayed through unstructured text, making automation of cyber threat intelligence highly challenging. For such text domains that involve high levels of expertise, pretraining on in-domain corpora has been a popular method for language models to obtain domain expertise. However, cybersecurity texts often contain non-linguistic elements (such as URLs and hash values) that could be unsuitable with the established pretraining methodologies.…

This https://arxiv.org/abs/2312.02351 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_hept…

No U(1) 'electric-magnetic' duality in Einstein gravity
We revisit the question of whether classical general relativity obeys, beyond the linearised order, an analogue of the global U(1) electric-magnetic duality of Maxwell theory, with the Riemann tensor playing the role analogous to the field strength. Following contradictory claims in the literature, we present a simple gauge-invariant argument that the duality does not hold. The duality condition is the conservation of the helicity charge. Scattering amplitudes of gravitons in general relativity…

This https://arxiv.org/abs/2311.09852 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…

Short vs. Long-term Coordination of Drones: When Distributed Optimization Meets Deep Reinforcement Learning
Swarms of autonomous interactive drones, with the support of recharging technology, can provide compelling sensing capabilities in Smart Cities, such as traffic monitoring and disaster response. This paper aims to deliver a novel coordination solution for the cost-effective navigation, sensing, and recharging of drones. Existing approaches, such as deep reinforcement learning (DRL), offer long-term adaptability, but lack energy efficiency, resilience, and flexibility in dynamic environments. Th…

This https://arxiv.org/abs/2310.12618 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Gottesman-Kitaev-Preskill encoding in continuous modal variables of single photons
GKP states, introduced by Gottesman, Kitaev, and Preskill, are continuous variable logical qubits that can be corrected for errors caused by phase space displacements. Their experimental realization is challenging, in particular using propagating fields, where quantum information is encoded in the quadratures of the electromagnetic field. However, travelling photons are essential in many applications of GKP codes involving the long-distance transmission of quantum information. We introduce a ne…

This https://arxiv.org/abs/2403.14260 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…

Complexity of the Model Checking problem for inquisitive propositional and modal logic
The aim of this paper is to study the complexity of the model checking problem MC for inquisitive propositional logic InqB and for inquisitive modal logic InqM, that is, the problem of deciding whether a given finite structure for the logic satisfies a given formula. In recent years, this problem has been thoroughly investigated for several variations of dependence and teams logics, systems closely related to inquisitive logic. Building upon some ideas presented by Yang, we prove that the model…

This https://arxiv.org/abs/2403.05030 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…

Defending Against Unforeseen Failure Modes with Latent Adversarial Training
AI systems sometimes exhibit harmful unintended behaviors post-deployment. This is often despite extensive diagnostics and debugging by developers. Minimizing risks from models is challenging because the attack surface is so large. It is not tractable to exhaustively search for inputs that may cause a model to fail. Red-teaming and adversarial training (AT) are commonly used to make AI systems more robust. However, they have not been sufficient to avoid many real-world failure modes that differ…

This https://arxiv.org/abs/2312.02281 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_hept…

Casimir Forces in CFT with Defects and Boundaries
We investigate the quantum forces occurring between the defects and/or boundaries of a conformal field theory (CFT). We propose to model imperfect defects and boundaries as localized relevant double-trace operators that deform the CFT. Our focus is on pointlike and codimension-one planar defects. In the case of two parallel membranes, we point out that the CFT 2-point function tends to get confined and develops a tower of resonances with constant decay rate when the operator dimension approache…

This https://arxiv.org/abs/2310.02580 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Self-consistent many-body metrology
We investigate performing classical and quantum metrology and parameter estimation by using interacting trapped bosons, which we theoretically treat by a self-consistent many-body approach of the multiconfigurational Hartree type. Focusing on a tilted double-well geometry, we compare a self-consistently determined and monitored two-mode truncation, with dynamically changing orbitals, to the conventional two-mode approach of fixed orbitals, where only Fock space coefficients evolve in time. We d…

This https://arxiv.org/abs/2401.10375 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…

Vulnerabilities of Foundation Model Integrated Federated Learning Under Adversarial Threats
Federated Learning (FL) addresses critical issues in machine learning related to data privacy and security, yet suffering from data insufficiency and imbalance under certain circumstances. The emergence of foundation models (FMs) offers potential solutions to the limitations of existing FL frameworks, e.g., by generating synthetic data for model initialization. However, due to the inherent safety concerns of FMs, integrating FMs into FL could introduce new risks, which remains largely unexplore…

This https://arxiv.org/abs/2307.10729 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Robust sparse IQP sampling in constant depth
Between NISQ (noisy intermediate scale quantum) approaches without any proof of robust quantum advantage and fully fault-tolerant quantum computation, we propose a scheme to achieve a provable superpolynomial quantum advantage (under some widely accepted complexity conjectures) that is robust to noise with minimal error correction requirements. We choose a class of sampling problems with commuting gates known as sparse IQP (Instantaneous Quantum Polynomial-time) circuits and we ensure its fault…

This https://arxiv.org/abs/2311.09334 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_hept…

Lattice Hamiltonian for Adjoint QCD$_2$
We introduce a Hamiltonian lattice model for the $(1+1)$-dimensional $\text{SU}(N_c)$ gauge theory coupled to one adjoint Majorana fermion of mass $m$. The discretization of the continuum theory uses staggered Majorana fermions. We analyze the symmetries of the lattice model and find lattice analogs of the anomalies of the corresponding continuum theory. An important role is played by the lattice translation by one lattice site, which in the continuum limit involves a discrete axial transformat…

This https://arxiv.org/abs/2312.06987 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…

A new lightweight additive homomorphic encryption algorithm
This article describes a lightweight additive homomorphic algorithm with the same encryption and decryption keys. Compared to standard additive homomorphic algorithms like Paillier, this algorithm reduces the computational cost of encryption and decryption from modular exponentiation to modular multiplication, and reduces the computational cost of ciphertext addition from modular multiplication to modular addition. This algorithm is based on a new mathematical problem: in two division operation…

This https://arxiv.org/abs/2307.02091 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Quantum support vector machines for classification and regression on a trapped-ion quantum computer
Quantum machine learning is a rapidly growing field at the intersection of quantum computing and machine learning. In this work, we examine our quantum machine learning models, which are based on quantum support vector classification (QSVC) and quantum support vector regression (QSVR). We investigate these models using a quantum-circuit simulator, both with and without noise, as well as the IonQ Harmony quantum processor. For the QSVC tasks, we use a dataset containing fraudulent credit card tr…

This https://arxiv.org/abs/2308.02928 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_hept…

Causal and stable first-order chiral hydrodynamics
We derive the set of inequalities that is necessary and sufficient for nonlinear causality and linear stability of first-order relativistic hydrodynamics with either a $U(1)_V$ conserved current or a $U(1)_A$ current with a chiral anomaly or both. Our results apply to generic hydrodynamic frames in which no relations among the transport parameters are imposed. Furthermore, our analysis yields, to the best of our knowledge, the first theory of viscous chiral hydrodynamics proven to be causal and…

This https://arxiv.org/abs/2312.00057 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…

VA3: Virtually Assured Amplification Attack on Probabilistic Copyright Protection for Text-to-Image Generative Models
The booming use of text-to-image generative models has raised concerns about their high risk of producing copyright-infringing content. While probabilistic copyright protection methods provide a probabilistic guarantee against such infringement, in this paper, we introduce Virtually Assured Amplification Attack (VA3), a novel online attack framework that exposes the vulnerabilities of these protection mechanisms. The proposed framework significantly amplifies the probability of generating infri…

This https://arxiv.org/abs/2306.15264 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Qubit dephasing by spectrally diffusing quantum two-level systems
We investigate the pure dephasing of a Josephson qubit due to the spectral diffusion of two-level systems that are close to resonance with the qubit. We identify the parameter regime in which this pure dephasing rate can be of the order of the energy relaxation rate and, thus, the relation $T_2 = 2 T_1$ is violated for the qubit. This regime is reached if the dynamics of the thermal TLSs responsible for the spectral diffusion is sufficiently slower than the energy relaxation of the qubit. By ad…

This https://arxiv.org/abs/2306.07323 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_hept…

Crossed product algebras and generalized entropy for subregions
An early result of algebraic quantum field theory is that the algebra of any subregion in a QFT is a von Neumann factor of type III$_1$, in which entropy cannot be well-defined because such algebras do not admit a trace or density states. However, associated to the algebra is a modular group of automorphisms characterizing the local dynamics of degrees of freedom in the region, and the crossed product of the algebra with its modular group yields a type II$_\infty$ factor, in which traces and he…

This https://arxiv.org/abs/2309.06702 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…

Functional Encryption in the Bounded Storage Models
Functional encryption is a powerful paradigm for public-key encryption that allows for controlled access to encrypted data. Achieving the ideal simulation based security for this primitive is generally impossible in the plain model, so we investigate possibilities in the bounded quantum storage model (BQSM) and the bounded classical storage model (BCSM), where adversaries are limited with respect to their quantum and classical memories, respectively. The impossibility results on functional encr…

This https://arxiv.org/abs/2302.14046 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Violation of Bell's Inequality in the Clauser-Horne-Shimony-Holt Form with Entangled Quantum States Revisited
Scientific imagination and experimental ingenuity are at the heart of physics. One of the most known instances where this interplay between theory (i.e., foundations) and experiments (i.e., technology) occurs is in the discussion of Bell's inequalities. In this paper, we present a revisitation of the violation of Bell's inequality in the Clauser-Horne-Shimony-Holt (CHSH) form with entangled quantum states. First, we begin with a discussion of the 1935 Einstein-Podolski-Rosen (EPR) paradox (i.e.…

This https://arxiv.org/abs/2301.13241 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

SpinQ: Compilation strategies for scalable spin-qubit architectures
Despite NISQ devices being severely constrained, hardware- and algorithm-aware quantum circuit mapping techniques have been developed to enable successful algorithm executions. Not so much attention has been paid to mapping and compilation implementations for spin-qubit quantum processors due to the scarce availability of experimental devices and their small sizes. However, based on their high scalability potential and their rapid progress it is timely to start exploring solutions on such devic…

This https://arxiv.org/abs/2304.10550 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…

Deep transfer learning for intrusion detection in industrial control networks: A comprehensive review
Globally, the external internet is increasingly being connected to industrial control systems. As a result, there is an immediate need to protect these networks from a variety of threats. The key infrastructure of industrial activity can be protected from harm using an intrusion detection system (IDS), a preventive mechanism that seeks to recognize new kinds of dangerous threats and hostile activities. This review examines the most recent artificial-intelligence techniques that are used to crea…

This https://arxiv.org/abs/2303.11972 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…

A Post Quantum Key Agreement Protocol Based on a Modified Matrix Power Function over a Rectangular Matrices Semiring
We present an improved post-quantum version of Sakalauskas matrix power function key agreement protocol, using rectangular matrices instead of the original square ones. Sakalauskas matrix power function is an efficient and secure way to generate a shared secret key, and using rectangular matrices provides additional flexibility and security. This method reduces the computational complexity by allowing smaller random integer matrices while maintaining a high level of security. We dont rely on ma…

This https://arxiv.org/abs/2404.15628 has been replaced.
link: https://scholar.google.com/scholar?q=a

Identifying non-Hermitian critical points with quantum metric
The geometric properties of quantum states is fully encoded by the quantum geometric tensor. The real and imaginary parts of the quantum geometric tensor are the quantum metric and Berry curvature, which characterize the distance and phase difference between two nearby quantum states in Hilbert space, respectively. For conventional Hermitian quantum systems, the quantum metric corresponds to the fidelity susceptibility and has already been used to specify quantum phase transitions from the geom…

Great, Now Write an Article About That: The Crescendo Multi-Turn LLM Jailbreak Attack
Mark Russinovich, Ahmed Salem, Ronen Eldan
https://arxiv.org/abs/2404.01833

Great, Now Write an Article About That: The Crescendo Multi-Turn LLM Jailbreak Attack
Large Language Models (LLMs) have risen significantly in popularity and are increasingly being adopted across multiple applications. These LLMs are heavily aligned to resist engaging in illegal or unethical topics as a means to avoid contributing to responsible AI harms. However, a recent line of attacks, known as "jailbreaks", seek to overcome this alignment. Intuitively, jailbreak attacks aim to narrow the gap between what the model can do and what it is willing to do. In this paper, we intro…

This https://arxiv.org/abs/2402.18422 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Generalised Hydrodynamics description of the Page curve-like dynamics of a freely expanding fermionic gas
We consider an analytically tractable model that exhibits the main features of the Page curve characterizing the evolution of entanglement entropy during evaporation of a black hole. Our model is a gas of non-interacting fermions on a lattice that is released from a box into the vacuum. More precisely, our Hamiltonian is a tight-binding model with a defect at the junction between the filled box and the vacuum. In addition to the entanglement entropy we consider several other observables, such a…

This https://arxiv.org/abs/2401.12898 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Information scrambling and chaos induced by a Hermitian Matrix
Given an arbitrary \(V \times V\) Hermitian matrix, considered as a finite discrete quantum Hamiltonian, we use methods from graph and ergodic theories to construct a \textit{quantum Poincaré map} at energy \(E\) and a corresponding stochastic \textit{classical Poincaré-Markov map} at the same energy on an appropriate discrete \textit{phase space}. This phase space consists of the directed edges of a graph with \(V\) vertices that are in one-to-one correspondence with the non-vanishing off-di…